From 30b78a96ae699fa2282c07a2dbf3e6303f99e32c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 16 May 2009 15:55:15 -0400
Subject: Mutual datatypes through Pathcheck

---
 src/cjrize.sml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/cjrize.sml')

diff --git a/src/cjrize.sml b/src/cjrize.sml
index 80d9842a..9c2128bc 100644
--- a/src/cjrize.sml
+++ b/src/cjrize.sml
@@ -483,7 +483,8 @@ fun cifyExp (eAll as (e, loc), sm) =
 
 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 @@ fun cifyDecl ((d, loc), sm) =
                                                        end) sm xncs
         in
             (SOME (L'.DDatatype (dk, x, n, xncs), loc), NONE, sm)
-        end
+        end*)
 
       | L.DVal (x, n, t, e, _) =>
         let
-- 
cgit v1.2.3