summaryrefslogtreecommitdiff
path: root/src/cjrize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-29 13:50:53 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-29 13:50:53 -0400
commit166bccac16d35d8a4b75a4c04c7479b389a81c4f (patch)
tree0674876271c5e871d53bb786e88dd1d2049bdb02 /src/cjrize.sml
parentac7c66e703f70f57c59697fd90504539c475244d (diff)
Datatypes through cjrize, modulo decoding
Diffstat (limited to 'src/cjrize.sml')
-rw-r--r--src/cjrize.sml15
1 files changed, 14 insertions, 1 deletions
diff --git a/src/cjrize.sml b/src/cjrize.sml
index 062e2a5a..c60ff75f 100644
--- a/src/cjrize.sml
+++ b/src/cjrize.sml
@@ -160,7 +160,20 @@ fun cifyExp ((e, loc), sm) =
fun cifyDecl ((d, loc), sm) =
case d of
- L.DDatatype _ => raise Fail "Cjrize DDatatype"
+ L.DDatatype (x, n, xncs) =>
+ let
+ val (xncs, sm) = ListUtil.foldlMap (fn ((x, n, to), sm) =>
+ case to of
+ NONE => ((x, n, NONE), sm)
+ | SOME t =>
+ let
+ val (t, sm) = cifyTyp (t, sm)
+ in
+ ((x, n, SOME t), sm)
+ end) sm xncs
+ in
+ (SOME (L'.DDatatype (x, n, xncs), loc), NONE, sm)
+ end
| L.DVal (x, n, t, e, _) =>
let