Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
824:be0988e46336 825:7f871c03e3a1
1165 | LBRACK RBRACK (EVar (["Basis"], "Nil", Infer), s (LBRACKleft, RBRACKright)) 1165 | LBRACK RBRACK (EVar (["Basis"], "Nil", Infer), s (LBRACKleft, RBRACKright))
1166 1166
1167 edecls : ([]) 1167 edecls : ([])
1168 | edecl edecls (edecl :: edecls) 1168 | edecl edecls (edecl :: edecls)
1169 1169
1170 edecl : VAL vali ((EDVal vali, s (VALleft, valiright))) 1170 edecl : VAL pat EQ eexp ((EDVal (pat, eexp), s (VALleft, eexpright)))
1171 | VAL REC valis ((EDValRec valis, s (VALleft, valisright))) 1171 | VAL REC valis ((EDValRec valis, s (VALleft, valisright)))
1172 | FUN valis ((EDValRec valis, s (FUNleft, valisright))) 1172 | FUN valis ((EDValRec valis, s (FUNleft, valisright)))
1173 1173
1174 enterDml : (inDml := true) 1174 enterDml : (inDml := true)
1175 leaveDml : (inDml := false) 1175 leaveDml : (inDml := false)