diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-16 15:45:12 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-16 15:45:12 -0400 |
| commit | 41f7bb23ff2a9598f8f3bff1487f39f9e91f9f05 (patch) | |
| tree | c5073d9b7f368aa38bb4d146c0a6b21900ef1f79 /src/monoize.sml | |
| parent | 6cb3888614811abc30c6a00a1644e256d1d1c780 (diff) | |
Mutual datatypes through Effectize
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index bf250984..e4175015 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -3045,7 +3045,8 @@ fun monoDecl (env, fm) (all as (d, loc)) = in case d of L.DCon _ => NONE - | L.DDatatype (x, n, [], xncs) => + | L.DDatatype _ => raise Fail "Monoize DDatatype" + (*| L.DDatatype (x, n, [], xncs) => let val env' = Env.declBinds env all val d = (L'.DDatatype (x, n, map (fn (x, n, to) => (x, n, Option.map (monoType env') to)) xncs), loc) @@ -3064,7 +3065,7 @@ fun monoDecl (env, fm) (all as (d, loc)) = NONE else poly () - | L.DDatatype _ => poly () + | L.DDatatype _ => poly ()*) | L.DVal (x, n, t, e, s) => let val (e, fm) = monoExp (env, St.empty, fm) e |