Mercurial > urweb
diff src/corify.sml @ 1527:cccf8bf64b30
Fix opening of shadowing, principal-signatured modules that open other modules
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 04 Aug 2011 16:44:05 -0400 |
| parents | 913d9c2f55c9 |
| children | 0577be31a435 |
line wrap: on
line diff
--- a/src/corify.sml Tue Aug 02 20:17:41 2011 -0400 +++ b/src/corify.sml Thu Aug 04 16:44:05 2011 -0400 @@ -212,7 +212,7 @@ 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 @@ | 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' =