summaryrefslogtreecommitdiff
path: root/src/explify.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-26 11:11:13 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-26 11:11:13 -0400
commit84104b2ae60ef293b9d837998b8162d58e8d4a0e (patch)
treee810ad8175699aff18aa8e2e3835a784553f0213 /src/explify.sml
parent77790187bb1c1e0de956d4bbc7795678fb0c6544 (diff)
Explify efold
Diffstat (limited to 'src/explify.sml')
-rw-r--r--src/explify.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/explify.sml b/src/explify.sml
index 86d408c6..91accd81 100644
--- a/src/explify.sml
+++ b/src/explify.sml
@@ -79,7 +79,7 @@ fun explifyExp (e, loc) =
| L.ERecord xes => (L'.ERecord (map (fn (c, e, t) => (explifyCon c, explifyExp e, explifyCon t)) xes), loc)
| L.EField (e1, c, {field, rest}) => (L'.EField (explifyExp e1, explifyCon c,
{field = explifyCon field, rest = explifyCon rest}), loc)
- | L.EFold _ => raise Fail "Explify EFold"
+ | L.EFold k => (L'.EFold (explifyKind k), loc)
| L.EError => raise Fail ("explifyExp: EError at " ^ EM.spanToString loc)