diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-02-04 16:29:09 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-02-04 16:29:09 -0500 |
commit | 282ff7d141e835d51f7eaa2952ba7913ebd5c6c1 (patch) | |
tree | a7322dfab5d5ea651665f739f8e4b7b252775cd5 /src/corify.sml | |
parent | 8386bf91f5cda763364eae726d64b035fa7dd40f (diff) |
Fixes for rooted 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 1637744e..6931600e 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -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 lookupFunctorById ({funs, ...} : t) n = 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]" |