Mercurial > urweb

diff src/urweb.grm @ 825:7f871c03e3a1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Destructing local let, to the point where demo compiles
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 May 2009 12:07:05 -0400
parents 669ac5e9a69e
children ccf22c2c77b2
line wrap: on
line diff
--- a/src/urweb.grm	Thu May 28 11:45:45 2009 -0400
+++ b/src/urweb.grm	Thu May 28 12:07:05 2009 -0400
@@ -1167,7 +1167,7 @@
 edecls :                                ([])
        | edecl edecls                   (edecl :: edecls)
 
-edecl  : VAL vali                       ((EDVal vali, s (VALleft, valiright)))
+edecl  : VAL pat EQ eexp                ((EDVal (pat, eexp), s (VALleft, eexpright)))
        | VAL REC valis                  ((EDValRec valis, s (VALleft, valisright)))
        | FUN valis                      ((EDValRec valis, s (FUNleft, valisright)))