summaryrefslogtreecommitdiff
path: root/src/corify.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/corify.sml')
-rw-r--r--src/corify.sml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/corify.sml b/src/corify.sml
index 706a4c2d..d9e5d30c 100644
--- a/src/corify.sml
+++ b/src/corify.sml
@@ -212,7 +212,7 @@ fun lookupConByName ({current, ...} : t) x =
FFfi {mod = m, ...} => CFfi m
| FNormal {cons, ...} =>
case SM.find (cons, x) of
- NONE => raise Fail "Corify.St.lookupConByName"
+ NONE => raise Fail ("Corify.St.lookupConByName " ^ x)
| SOME n => CNormal n
fun bindVal {basis, cons, constructors, vals, strs, funs, current, nested} s n =
@@ -275,7 +275,7 @@ fun lookupValByName ({current, ...} : t) x =
| SOME t => EFfi (m, t))
| FNormal {name, vals, ...} =>
case SM.find (vals, x) of
- NONE => raise Fail ("Corify.St.lookupValByName " ^ String.concatWith "." name ^ "." ^ x)
+ NONE => raise Fail ("Corify.St.lookupValByName " ^ String.concatWith "." (rev name) ^ "." ^ x)
| SOME n => ENormal n
fun bindConstructor {basis, cons, constructors, vals, strs, funs, current, nested} s n n' =