Mercurial > urweb

diff src/specialize.sml @ 807:61a1f5c5ae2c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mutual datatypes through Effectize
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 15:45:12 -0400
parents d20d6afc1206
children 0d30e6338c65
line wrap: on
line diff
--- a/src/specialize.sml	Sat May 16 15:22:05 2009 -0400
+++ b/src/specialize.sml	Sat May 16 15:45:12 2009 -0400
@@ -115,10 +115,10 @@
                                                        ((x, n, SOME t), st)
                                                    end) st cons
 
-            val d = (DDatatype (#name dt ^ "_s",
-                                n',
-                                [],
-                                cons), #2 (List.hd args))
+            val d = (DDatatype [(#name dt ^ "_s",
+                                 n',
+                                 [],
+                                 cons)], #2 (List.hd args))
         in
             (n', cmap, {count = #count st,
                         datatypes = #datatypes st,
@@ -248,7 +248,7 @@
                 val (d, st) = specDecl st d
             in
                 case #1 d of
-                    DDatatype (x, n, xs, xnts) =>
+                    DDatatype [(x, n, xs, xnts)] =>
                     (rev (d :: #decls st),
                      {count = #count st,
                       datatypes = IM.insert (#datatypes st, n,