summaryrefslogtreecommitdiff
path: root/src/elab_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-14 13:20:29 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-14 13:20:29 -0400
commit25658a4755c86ffbda946fb8b97f882f3ce7a724 (patch)
tree4ef4c28ab7483566127b841e2396bcc05d98e23d /src/elab_print.sml
parent4a22e79410139a25a9615275c3b9adcd165a5988 (diff)
Parsing and elaborating 'table'
Diffstat (limited to 'src/elab_print.sml')
-rw-r--r--src/elab_print.sml14
1 files changed, 14 insertions, 0 deletions
diff --git a/src/elab_print.sml b/src/elab_print.sml
index ceea43a9..a46a642a 100644
--- a/src/elab_print.sml
+++ b/src/elab_print.sml
@@ -447,6 +447,13 @@ fun p_sgn_item env (sgi, _) =
string "~",
space,
p_con env c2]
+ | SgiTable (x, n, c) => box [string "table",
+ space,
+ p_named x n,
+ space,
+ string ":",
+ space,
+ p_con env c]
and p_sgn env (sgn, _) =
case sgn of
@@ -596,6 +603,13 @@ fun p_decl env (dAll as (d, _) : decl) =
string ":",
space,
p_sgn env sgn]
+ | DTable (x, n, c) => box [string "table",
+ space,
+ p_named x n,
+ space,
+ string ":",
+ space,
+ p_con env c]
and p_str env (str, _) =
case str of