summaryrefslogtreecommitdiff
path: root/src/explify.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-19 17:04:08 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-19 17:04:08 -0400
commit03ecfc6bbbff1492662930a708a1e9be685ef023 (patch)
treefb39f4aa097d27b272943f849bfb97eaa75b160f /src/explify.sml
parent9386a9382eda9bd19e99c80057398c593aaf812b (diff)
Elaborating functor applications
Diffstat (limited to 'src/explify.sml')
-rw-r--r--src/explify.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/explify.sml b/src/explify.sml
index 73c9aed2..2df414a9 100644
--- a/src/explify.sml
+++ b/src/explify.sml
@@ -110,6 +110,7 @@ and explifyStr (str, loc) =
| L.StrVar n => (L'.StrVar n, loc)
| L.StrProj (str, s) => (L'.StrProj (explifyStr str, s), loc)
| L.StrFun _ => raise Fail "Explify functor"
+ | L.StrApp _ => raise Fail "Explify functor app"
| L.StrError => raise Fail ("explifyStr: StrError at " ^ EM.spanToString loc)
val explify = map explifyDecl