Mercurial > urweb

comparison src/lacweb.grm @ 58:fd8a81ecd598

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
include
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 18:17:21 -0400
parents a6e185c7c428
children abb2b32c19fb
comparison
equal deleted inserted replaced
57:618b7054f931 58:fd8a81ecd598
42 | EQ | COMMA | COLON | DCOLON | TCOLON | DOT | HASH | UNDER | UNDERUNDER 42 | EQ | COMMA | COLON | DCOLON | TCOLON | DOT | HASH | UNDER | UNDERUNDER
43 | CON | LTYPE | VAL 43 | CON | LTYPE | VAL
44 | TYPE | NAME 44 | TYPE | NAME
45 | ARROW | LARROW | DARROW 45 | ARROW | LARROW | DARROW
46 | FN | PLUSPLUS | DOLLAR 46 | FN | PLUSPLUS | DOLLAR
47 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN 47 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN | INCLUDE | OPEN
48 48
49 %nonterm 49 %nonterm
50 file of decl list 50 file of decl list
51 | decls of decl list 51 | decls of decl list
52 | decl of decl 52 | decl of decl
145 | STRUCTURE CSYMBOL COLON sgn (SgiStr (CSYMBOL, sgn), s (STRUCTUREleft, sgnright)) 145 | STRUCTURE CSYMBOL COLON sgn (SgiStr (CSYMBOL, sgn), s (STRUCTUREleft, sgnright))
146 | FUNCTOR CSYMBOL LPAREN CSYMBOL COLON sgn RPAREN COLON sgn 146 | FUNCTOR CSYMBOL LPAREN CSYMBOL COLON sgn RPAREN COLON sgn
147 (SgiStr (CSYMBOL1, 147 (SgiStr (CSYMBOL1,
148 (SgnFun (CSYMBOL2, sgn1, sgn2), s (FUNCTORleft, sgn2right))), 148 (SgnFun (CSYMBOL2, sgn1, sgn2), s (FUNCTORleft, sgn2right))),
149 s (FUNCTORleft, sgn2right)) 149 s (FUNCTORleft, sgn2right))
150 | INCLUDE sgn (SgiInclude sgn, s (INCLUDEleft, sgnright))
150 151
151 sgis : ([]) 152 sgis : ([])
152 | sgi sgis (sgi :: sgis) 153 | sgi sgis (sgi :: sgis)
153 154
154 str : STRUCT decls END (StrConst decls, s (STRUCTleft, ENDright)) 155 str : STRUCT decls END (StrConst decls, s (STRUCTleft, ENDright))