diff options
| author | Alasdair Armstrong | 2018-01-30 12:51:45 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-30 15:07:26 +0000 |
| commit | 2a14c291caa7b07ac1e3ed6904765ea8702a4818 (patch) | |
| tree | b324d74a19faddd4442e53ec6f272e3fa42267d1 /src/util.ml | |
| parent | cc7f32144f5080eb28cb97ab3c1bb8ae114e84dc (diff) | |
Updates to C backend
Diffstat (limited to 'src/util.ml')
| -rw-r--r-- | src/util.ml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/util.ml b/src/util.ml index e2dc9b9f..b8670b84 100644 --- a/src/util.ml +++ b/src/util.ml @@ -389,12 +389,16 @@ let rec take n xs = match n, xs with | n, (x :: xs) -> x :: take (n - 1) xs let termcode n = "\x1B[" ^ string_of_int n ^ "m" + let bold str = termcode 1 ^ str + +let red str = termcode 91 ^ str let green str = termcode 92 ^ str let yellow str = termcode 93 ^ str -let red str = termcode 91 ^ str -let cyan str = termcode 96 ^ str let blue str = termcode 94 ^ str +let magenta str = termcode 95 ^ str +let cyan str = termcode 96 ^ str + let clear str = str ^ termcode 0 let zchar c = |
