diff options
| author | Alasdair Armstrong | 2018-03-14 19:28:14 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-03-14 19:36:42 +0000 |
| commit | e99f9e060575930bac00240f252bf6f975a13deb (patch) | |
| tree | 7c1d95e55905d4a989eebc43aaff9a41099c300c /src/util.ml | |
| parent | 7aef4970c36b45f50dc61d66353dc759b438e706 (diff) | |
WIP Latex formatting
Added option -latex that outputs input to a latex document.
Added doc comments that can be attached to certain AST nodes - right now just valspecs and function clauses, e.g.
/*!
Documentation for main
*/
val main : unit -> unit
These comments are kept by the sail pretty printer, and used when generating latex
Diffstat (limited to 'src/util.ml')
| -rw-r--r-- | src/util.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/util.ml b/src/util.ml index b997005e..471b0c4c 100644 --- a/src/util.ml +++ b/src/util.ml @@ -415,6 +415,8 @@ let blue str = termcode 94 ^ str let magenta str = termcode 95 ^ str let cyan str = termcode 96 ^ str +let red_bg str = termcode 41 ^ str + let clear str = str ^ termcode 0 let zchar c = |