Mercurial > urweb
diff src/corify.sml @ 480:40c737913075
Especialize handles records better
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 08 Nov 2008 16:02:59 -0500 |
| parents | 5c9606deacb6 |
| children | ae03d09043c1 |
line wrap: on
line diff
--- a/src/corify.sml Sat Nov 08 14:42:52 2008 -0500 +++ b/src/corify.sml Sat Nov 08 16:02:59 2008 -0500 @@ -387,7 +387,7 @@ fun lookupStrById ({basis, strs, ...} : t) n = case IM.find (strs, n) of - NONE => raise Fail "Corify.St.lookupStrById" + NONE => raise Fail ("Corify.St.lookupStrById(" ^ Int.toString n ^ ")") | SOME f => dummy (basis, f) fun lookupStrByName (m, {basis, current = FNormal {strs, ...}, ...} : t) = @@ -602,7 +602,7 @@ | L.ELet (x, t, e1, e2) => (L'.ELet (x, corifyCon st t, corifyExp st e1, corifyExp st e2), loc) -fun corifyDecl mods ((d, loc : EM.span), st) = +fun corifyDecl mods (all as (d, loc : EM.span), st) = case d of L.DCon (x, n, k, c) => let