diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-11-08 16:02:59 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-08 16:02:59 -0500 |
commit | 994846a1d8ee827702a18fe5379184cc387e9983 (patch) | |
tree | 6078fbad4c3562d8fd6401001a5c02628fd06ba4 /src/corify.sml | |
parent | b4fbebde89c6ed5eeae8653004417ac6000cdf07 (diff) |
Especialize handles records better
Diffstat (limited to 'src/corify.sml')
-rw-r--r-- | src/corify.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/corify.sml b/src/corify.sml index 2b90a8f0..fdb4e7b7 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -387,7 +387,7 @@ fun bindStr ({basis, cons, constructors, vals, strs, funs, 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 @@ fun corifyExp st (e, loc) = | 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 |