diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-19 17:11:24 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-19 17:11:24 -0400 |
commit | 6924bb5d394ee9cbdf7dbf376c45a4ee04383c5c (patch) | |
tree | 537dd4799d78f6bed5ccac263825fad39f0b5747 /src/corify.sml | |
parent | 03ecfc6bbbff1492662930a708a1e9be685ef023 (diff) |
Explifying functors
Diffstat (limited to 'src/corify.sml')
-rw-r--r-- | src/corify.sml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/corify.sml b/src/corify.sml index 607d173a..94e3d421 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -257,6 +257,8 @@ and corifyStr ((str, _), st) = in (ds, {inner = St.lookupStrByName (x, inner), outer = outer}) end + | L.StrFun _ => raise Fail "Corify functor" + | L.StrApp _ => raise Fail "Corify functor app" fun maxName ds = foldl (fn ((d, _), n) => case d of @@ -271,6 +273,8 @@ and maxNameStr (str, _) = L.StrConst ds => maxName ds | L.StrVar n => n | L.StrProj (str, _) => maxNameStr str + | L.StrFun (_, _, _, _, str) => maxNameStr str + | L.StrApp (str1, str2) => Int.max (maxNameStr str1, maxNameStr str2) fun corify ds = let |