Mercurial > urweb
diff src/corify.sml @ 1146:7fdea74b1dd9
Fixes for rooted modules
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 04 Feb 2010 16:29:09 -0500 |
| parents | c01fb6f1b31f |
| children | c316ca3c9ec6 |
line wrap: on
line diff
--- a/src/corify.sml Thu Feb 04 13:07:12 2010 -0500 +++ b/src/corify.sml Thu Feb 04 16:29:09 2010 -0500 @@ -1,4 +1,4 @@ -(* Copyright (c) 2008, Adam Chlipala +(* Copyright (c) 2008-2010, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without @@ -428,7 +428,7 @@ fun lookupFunctorByName (m, {current = FNormal {funs, ...}, ...} : t) = (case SM.find (funs, m) of - NONE => raise Fail "Corify.St.lookupFunctorByName [1]" + NONE => raise Fail ("Corify.St.lookupFunctorByName " ^ m ^ "[1]") | SOME v => v) | lookupFunctorByName _ = raise Fail "Corify.St.lookupFunctorByName [2]"