From b5cfe6cf7eeff856dc3ddca5ad4b2b5bb894f7ee Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 8 Nov 2008 16:02:59 -0500 Subject: Especialize handles records better --- src/corify.sml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/corify.sml') 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 -- cgit v1.2.3