From e99f9e060575930bac00240f252bf6f975a13deb Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 14 Mar 2018 19:28:14 +0000
Subject: 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
---
 src/util.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/util.ml')

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 =
-- 
cgit v1.2.3