diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-08-04 16:44:05 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-08-04 16:44:05 -0400 |
| commit | 7e42ca73d84c1938c881aa103a9c5bf40a9f1bfb (patch) | |
| tree | 78a65f7f1e851be7156074a76cc7d95a50a49e6b /src/corify.sml | |
| parent | 4342dc1f0558093f01901a7641e6604f9dd7855e (diff) | |
Fix opening of shadowing, principal-signatured modules that open other modules
Diffstat (limited to 'src/corify.sml')
| -rw-r--r-- | src/corify.sml | 4 |
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' = |