Elaborating cons and decls

1 files changed, 21 insertions, 1 deletions

diff --git a/src/print.sml b/src/print.sml
index 6d9019d2..22387090 100644
--- a/src/print.sml
+++ b/src/print.sml
@@ -71,11 +71,13 @@ fun fpreface f (s, d) =
 val preface = fpreface out
 val epreface = fpreface err
 
-fun fprefaces f ls =
+fun fprefaces f s ls =
     let
         val len = foldl (fn ((s, _), best) =>
                             Int.max (size s, best)) 0 ls
     in
+        fprint f (PD.string s);
+        fprint f PD.newline;
         app (fn (s, d) =>
                 let
                     val s = CharVector.tabulate (len - size s,
@@ -89,4 +91,22 @@ fun fprefaces f ls =
 val prefaces = fprefaces out
 val eprefaces = fprefaces err
 
+fun fprefaces' f ls =
+    let
+        val len = foldl (fn ((s, _), best) =>
+                            Int.max (size s, best)) 0 ls
+    in
+        app (fn (s, d) =>
+                let
+                    val s = CharVector.tabulate (len - size s,
+                                                 fn _ => #" ")
+                            ^ s ^ ": "
+                in
+                    fpreface f (s, d)
+                end) ls
+    end
+
+val prefaces' = fprefaces' out
+val eprefaces' = fprefaces' err
+
 end