From 6812db5bd02a37ca0fbf0f04b379ec599f10fd5a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 19 Oct 2010 17:54:49 -0400 Subject: Fixes for nasty bugs in Reduce and Especialize --- src/corify.sml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/corify.sml') diff --git a/src/corify.sml b/src/corify.sml index 27e6c4c7..c3a53094 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -271,11 +271,11 @@ fun lookupValByName ({current, ...} : t) x = case current of FFfi {mod = m, vals, ...} => (case SM.find (vals, x) of - NONE => raise Fail "Corify.St.lookupValByName: no type for FFI val" + NONE => raise Fail ("Corify.St.lookupValByName: no type for FFI val " ^ x) | SOME t => EFfi (m, t)) - | FNormal {vals, ...} => + | FNormal {name, vals, ...} => case SM.find (vals, x) of - NONE => raise Fail "Corify.St.lookupValByName" + NONE => raise Fail ("Corify.St.lookupValByName " ^ String.concatWith "." name ^ "." ^ x) | SOME n => ENormal n fun bindConstructor {basis, cons, constructors, vals, strs, funs, current, nested} s n n' = -- cgit v1.2.3