summaryrefslogtreecommitdiff
path: root/src/corify.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-10-19 17:54:49 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2010-10-19 17:54:49 -0400
commit6812db5bd02a37ca0fbf0f04b379ec599f10fd5a (patch)
treee98246a5e91470c3dc887a34af6b88dd13fcd683 /src/corify.sml
parentf7ec390b4c8f0d6173c00b76dafb9e3beb96c75b (diff)
Fixes for nasty bugs in Reduce and Especialize
Diffstat (limited to 'src/corify.sml')
-rw-r--r--src/corify.sml6
1 files changed, 3 insertions, 3 deletions
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' =