Mercurial > urweb

diff src/source_print.sml @ 460:d34834af4512

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through explify
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:43:48 -0500
parents f542bc3133dc
children ae03d09043c1
line wrap: on
line diff
--- a/src/source_print.sml	Thu Nov 06 10:29:55 2008 -0500
+++ b/src/source_print.sml	Thu Nov 06 10:43:48 2008 -0500
@@ -408,16 +408,6 @@
                                        string "~",
                                        space,
                                        p_con c2]
-      | SgiTable (x, c) => box [string "table",
-                                space,
-                                string x,
-                                space,
-                                string ":",
-                                space,
-                                p_con c]
-      | SgiSequence x => box [string "sequence",
-                              space,
-                              string x]
       | SgiClassAbs x => box [string "class",
                               space,
                               string x]
@@ -428,13 +418,6 @@
                                 string "=",
                                 space,
                                 p_con c]
-      | SgiCookie (x, c) => box [string "cookie",
-                                 space,
-                                 string x,
-                                 space,
-                                 string ":",
-                                 space,
-                                 p_con c]
 
 and p_sgn (sgn, _) =
     case sgn of