summaryrefslogtreecommitdiff
path: root/src/expl_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-06 10:43:48 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-06 10:43:48 -0500
commit3c9155ead1004bd305ed8bd990fcfd9904ac6629 (patch)
tree2e714f5fc0b6c669bad6c201f3a4b11fec490513 /src/expl_print.sml
parentcf761fbfd28af10fb6e11bdf583f2821abecfe44 (diff)
Cookies through explify
Diffstat (limited to 'src/expl_print.sml')
-rw-r--r--src/expl_print.sml17
1 files changed, 7 insertions, 10 deletions
diff --git a/src/expl_print.sml b/src/expl_print.sml
index aecc3a84..2d41ab34 100644
--- a/src/expl_print.sml
+++ b/src/expl_print.sml
@@ -471,16 +471,6 @@ fun p_sgn_item env (sgi, _) =
string "=",
space,
p_sgn env sgn]
- | SgiTable (_, x, n, c) => box [string "table",
- space,
- p_named x n,
- space,
- string ":",
- space,
- p_con env c]
- | SgiSequence (_, x, n) => box [string "sequence",
- space,
- p_named x n]
and p_sgn env (sgn, loc) =
case sgn of
@@ -635,6 +625,13 @@ fun p_decl env (dAll as (d, _) : decl) =
| DDatabase s => box [string "database",
space,
string s]
+ | DCookie (_, x, n, c) => box [string "cookie",
+ space,
+ p_named x n,
+ space,
+ string ":",
+ space,
+ p_con env c]
and p_str env (str, _) =
case str of