Mercurial > urweb

diff src/elaborate.sml @ 170:a158f8c5aa55

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing basic patterns
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 16:38:15 -0400
parents 06a98129b23f
children c7a6e6dbc318
line wrap: on
line diff
--- a/src/elaborate.sml	Tue Jul 29 16:02:02 2008 -0400
+++ b/src/elaborate.sml	Tue Jul 29 16:38:15 2008 -0400
@@ -1137,6 +1137,8 @@
             in
                 ((L'.EFold dom, loc), foldType (dom, loc), [])
             end
+
+          | L.ECase _ => raise Fail "Elaborate ECase"
     end