summaryrefslogtreecommitdiff
path: root/src/core_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-31 09:00:28 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-31 09:00:28 -0400
commit652ca797f5c9de9adc198df0c0e8a706807328a6 (patch)
treed169fb294b36335dbe40525678328c7b0dc21c13 /src/core_print.sml
parent773cc619b71ad10b8f21f6941d67947bac86885f (diff)
Corify tables
Diffstat (limited to 'src/core_print.sml')
-rw-r--r--src/core_print.sml26
1 files changed, 20 insertions, 6 deletions
diff --git a/src/core_print.sml b/src/core_print.sml
index b03b25f6..a5d3df95 100644
--- a/src/core_print.sml
+++ b/src/core_print.sml
@@ -331,14 +331,17 @@ fun p_exp' par env (e, _) =
and p_exp env = p_exp' false env
+fun p_named x n =
+ if !debug then
+ box [string x,
+ string "__",
+ string (Int.toString n)]
+ else
+ string x
+
fun p_vali env (x, n, t, e, s) =
let
- val xp = if !debug then
- box [string x,
- string "__",
- string (Int.toString n)]
- else
- string x
+ val xp = p_named x n
in
box [xp,
space,
@@ -432,6 +435,17 @@ fun p_decl env (dAll as (d, _) : decl) =
string "as",
space,
p_con env (#2 (E.lookupENamed env n))]
+ | DTable (x, n, c, s) => box [string "table",
+ space,
+ p_named x n,
+ space,
+ string "as",
+ space,
+ string s,
+ space,
+ string ":",
+ space,
+ p_con env c]
fun p_file env file =
let