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/specialize.sml | |
| parent | 6cb3888614811abc30c6a00a1644e256d1d1c780 (diff) | |
Mutual datatypes through Effectize
Diffstat (limited to 'src/specialize.sml')
| -rw-r--r-- | src/specialize.sml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/specialize.sml b/src/specialize.sml index 03c9004a..b0e0aeae 100644 --- a/src/specialize.sml +++ b/src/specialize.sml @@ -115,10 +115,10 @@ fun considerSpecialization (st : state, n, args, dt : datatyp) = ((x, n, SOME t), st) end) st cons - val d = (DDatatype (#name dt ^ "_s", - n', - [], - cons), #2 (List.hd args)) + val d = (DDatatype [(#name dt ^ "_s", + n', + [], + cons)], #2 (List.hd args)) in (n', cmap, {count = #count st, datatypes = #datatypes st, @@ -248,7 +248,7 @@ fun specialize file = val (d, st) = specDecl st d in case #1 d of - DDatatype (x, n, xs, xnts) => + DDatatype [(x, n, xs, xnts)] => (rev (d :: #decls st), {count = #count st, datatypes = IM.insert (#datatypes st, n, |