diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-01-26 15:26:12 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-01-26 15:26:12 -0500 |
commit | e0a8e775a4c1e12debb2a3fa458007340685dc9d (patch) | |
tree | ed45e466a53dc18a1c772e2bdaad2e5f7ac8025b /src/print.sml | |
parent | 485f8c00cc43334ba7bb429a830eb3b651ff92f6 (diff) |
Elaborating cons and decls
Diffstat (limited to 'src/print.sml')
-rw-r--r-- | src/print.sml | 22 |
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 |