From 41f7bb23ff2a9598f8f3bff1487f39f9e91f9f05 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 16 May 2009 15:45:12 -0400 Subject: Mutual datatypes through Effectize --- src/specialize.sml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'src/specialize.sml') 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, -- cgit v1.2.3