Mercurial > urweb

comparison src/lacweb.grm @ 212:ba4d7c33a45f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Testing type-class-parameterized functions
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 14:36:17 -0400
parents e86411f647c6
children 5292c0113024
comparison
equal deleted inserted replaced
211:e86411f647c6 212:ba4d7c33a45f
425 425
426 eexp : eapps (eapps) 426 eexp : eapps (eapps)
427 | FN SYMBOL kcolon kind DARROW eexp (ECAbs (kcolon, SYMBOL, kind, eexp), s (FNleft, eexpright)) 427 | FN SYMBOL kcolon kind DARROW eexp (ECAbs (kcolon, SYMBOL, kind, eexp), s (FNleft, eexpright))
428 | FN SYMBOL COLON cexp DARROW eexp (EAbs (SYMBOL, SOME cexp, eexp), s (FNleft, eexpright)) 428 | FN SYMBOL COLON cexp DARROW eexp (EAbs (SYMBOL, SOME cexp, eexp), s (FNleft, eexpright))
429 | FN SYMBOL DARROW eexp (EAbs (SYMBOL, NONE, eexp), s (FNleft, eexpright)) 429 | FN SYMBOL DARROW eexp (EAbs (SYMBOL, NONE, eexp), s (FNleft, eexpright))
430 | FN UNDER COLON cexp DARROW eexp (EAbs ("_", SOME cexp, eexp), s (FNleft, eexpright))
430 | LBRACK cterm TWIDDLE cterm RBRACK DARROW eexp(EDisjoint (cterm1, cterm2, eexp), s (LBRACKleft, RBRACKright)) 431 | LBRACK cterm TWIDDLE cterm RBRACK DARROW eexp(EDisjoint (cterm1, cterm2, eexp), s (LBRACKleft, RBRACKright))
431 | FN UNIT DARROW eexp (let 432 | FN UNIT DARROW eexp (let
432 val loc = s (FNleft, eexpright) 433 val loc = s (FNleft, eexpright)
433 in 434 in
434 (EAbs ("_", SOME (TRecord (CRecord [], loc), loc), eexp), loc) 435 (EAbs ("_", SOME (TRecord (CRecord [], loc), loc), eexp), loc)