Mercurial > urweb

diff src/cjrize.sml @ 808:d8f58d488cfb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mutual datatypes through Pathcheck
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 15:55:15 -0400
parents fa2019a63ea4
children 81fce435e255
line wrap: on
line diff
--- a/src/cjrize.sml	Sat May 16 15:45:12 2009 -0400
+++ b/src/cjrize.sml	Sat May 16 15:55:15 2009 -0400
@@ -483,7 +483,8 @@
 
 fun cifyDecl ((d, loc), sm) =
     case d of
-        L.DDatatype (x, n, xncs) =>
+        L.DDatatype _ => raise Fail "Cjrize DDatatype"
+        (*L.DDatatype (x, n, xncs) =>
         let
             val dk = ElabUtil.classifyDatatype xncs
             val (xncs, sm) = ListUtil.foldlMap (fn ((x, n, to), sm) =>
@@ -497,7 +498,7 @@
                                                        end) sm xncs
         in
             (SOME (L'.DDatatype (dk, x, n, xncs), loc), NONE, sm)
-        end
+        end*)
 
       | L.DVal (x, n, t, e, _) =>
         let