Mercurial > urweb

comparison src/urweb.grm @ 629:e68de2a5506b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Top.Fold.concat elaborates
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Feb 2009 13:46:08 -0500
parents 12b73f3c108e
children 6c4643880df5
comparison
equal deleted inserted replaced
628:12b73f3c108e 629:e68de2a5506b
185 | EQ | COMMA | COLON | DCOLON | TCOLON | DOT | HASH | UNDER | UNDERUNDER | BAR 185 | EQ | COMMA | COLON | DCOLON | TCOLON | DOT | HASH | UNDER | UNDERUNDER | BAR
186 | PLUS | MINUS | DIVIDE | DOTDOTDOT | MOD | AT 186 | PLUS | MINUS | DIVIDE | DOTDOTDOT | MOD | AT
187 | CON | LTYPE | VAL | REC | AND | FUN | MAP | UNIT | KUNIT | CLASS 187 | CON | LTYPE | VAL | REC | AND | FUN | MAP | UNIT | KUNIT | CLASS
188 | DATATYPE | OF 188 | DATATYPE | OF
189 | TYPE | NAME 189 | TYPE | NAME
190 | ARROW | LARROW | DARROW | STAR | SEMI | KARROW | DKARROW 190 | ARROW | LARROW | DARROW | STAR | SEMI | KARROW | DKARROW | BANG
191 | FN | PLUSPLUS | MINUSMINUS | MINUSMINUSMINUS | DOLLAR | TWIDDLE 191 | FN | PLUSPLUS | MINUSMINUS | MINUSMINUSMINUS | DOLLAR | TWIDDLE
192 | LET | IN 192 | LET | IN
193 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN | SQL 193 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN | SQL
194 | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | EXPORT | TABLE | SEQUENCE 194 | INCLUDE | OPEN | CONSTRAINT | CONSTRAINTS | EXPORT | TABLE | SEQUENCE
195 | COOKIE 195 | COOKIE
708 | SYMBOL (CVar ([], SYMBOL), s (SYMBOLleft, SYMBOLright)) 708 | SYMBOL (CVar ([], SYMBOL), s (SYMBOLleft, SYMBOLright))
709 709
710 eapps : eterm (eterm) 710 eapps : eterm (eterm)
711 | eapps eterm (EApp (eapps, eterm), s (eappsleft, etermright)) 711 | eapps eterm (EApp (eapps, eterm), s (eappsleft, etermright))
712 | eapps LBRACK cexp RBRACK (ECApp (eapps, cexp), s (eappsleft, RBRACKright)) 712 | eapps LBRACK cexp RBRACK (ECApp (eapps, cexp), s (eappsleft, RBRACKright))
713 | eapps BANG (EDisjointApp eapps, s (eappsleft, BANGright))
713 714
714 eexp : eapps (eapps) 715 eexp : eapps (eapps)
715 | FN eargs DARROW eexp (let 716 | FN eargs DARROW eexp (let
716 val loc = s (FNleft, eexpright) 717 val loc = s (FNleft, eexpright)
717 in 718 in