summaryrefslogtreecommitdiff
path: root/src/util.ml
diff options
context:
space:
mode:
authorAlasdair Armstrong2018-01-30 12:51:45 +0000
committerAlasdair Armstrong2018-01-30 15:07:26 +0000
commit2a14c291caa7b07ac1e3ed6904765ea8702a4818 (patch)
treeb324d74a19faddd4442e53ec6f272e3fa42267d1 /src/util.ml
parentcc7f32144f5080eb28cb97ab3c1bb8ae114e84dc (diff)
Updates to C backend
Diffstat (limited to 'src/util.ml')
-rw-r--r--src/util.ml8
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 =