Mercurial > urweb

comparison src/urweb.grm @ 2025:afeeabdcce77

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
let..where..end
author Adam Chlipala <adam@chlipala.net>
date Wed, 11 Jun 2014 14:22:47 -0400
parents 403f0cc65b9c
children d11a7a9c4a73
comparison
equal deleted inserted replaced
2024:6372a742ab04 2025:afeeabdcce77
1454 end) 1454 end)
1455 1455
1456 | UNDER (EWild, s (UNDERleft, UNDERright)) 1456 | UNDER (EWild, s (UNDERleft, UNDERright))
1457 1457
1458 | LET edecls IN eexp END (ELet (edecls, eexp), s (LETleft, ENDright)) 1458 | LET edecls IN eexp END (ELet (edecls, eexp), s (LETleft, ENDright))
1459 | LET eexp WHERE edecls END (ELet (edecls, eexp), s (LETleft, ENDright))
1459 1460
1460 | LBRACK RBRACK (EVar (["Basis"], "Nil", Infer), s (LBRACKleft, RBRACKright)) 1461 | LBRACK RBRACK (EVar (["Basis"], "Nil", Infer), s (LBRACKleft, RBRACKright))
1461 1462
1462 edecls : ([]) 1463 edecls : ([])
1463 | edecl edecls (edecl :: edecls) 1464 | edecl edecls (edecl :: edecls)