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 | 3d77d43fda3acfa1d5f1e12c836718d79fdf84db (patch) | |
tree | c5073d9b7f368aa38bb4d146c0a6b21900ef1f79 /src/specialize.sml | |
parent | d889f05df404ac119cf864854e6fdfb4b5636472 (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, |