diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-07-29 13:50:53 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-29 13:50:53 -0400 |
commit | 166bccac16d35d8a4b75a4c04c7479b389a81c4f (patch) | |
tree | 0674876271c5e871d53bb786e88dd1d2049bdb02 /src/cjrize.sml | |
parent | ac7c66e703f70f57c59697fd90504539c475244d (diff) |
Datatypes through cjrize, modulo decoding
Diffstat (limited to 'src/cjrize.sml')
-rw-r--r-- | src/cjrize.sml | 15 |
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 |