Mercurial > urweb

diff src/reduce.sml @ 823:669ac5e9a69e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Demo compiles with pattern-matching-fu
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 May 2009 10:35:25 -0400
parents 61a1f5c5ae2c
children ed06e25c70ef
line wrap: on
line diff
--- a/src/reduce.sml	Thu May 28 10:16:50 2009 -0400
+++ b/src/reduce.sml	Thu May 28 10:35:25 2009 -0400
@@ -390,6 +390,9 @@
                       | _ => default ()
                 end
 
+              | ECase (_, [((PRecord [], _), e)], _) => exp env e
+              | ECase (_, [((PWild, _), e)], _) => exp env e
+
               | ECase (e, pes, {disc, result}) =>
                 let
                     fun patBinds (p, _) =