Mercurial > urweb

diff src/corify.sml @ 1314:6c2e565adca6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fixes for nasty bugs in Reduce and Especialize
author Adam Chlipala <adam@chlipala.net>
date Tue, 19 Oct 2010 17:54:49 -0400
parents b4480a56cab7
children b106ca8200b1
line wrap: on
line diff
--- a/src/corify.sml	Tue Oct 19 15:26:12 2010 -0400
+++ b/src/corify.sml	Tue Oct 19 17:54:49 2010 -0400
@@ -271,11 +271,11 @@
     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' =