Mercurial > urweb

comparison src/lacweb.grm @ 48:0a5c312de09a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of FFI
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 09:27:29 -0400
parents a9f3ce2d1b9b
children a6e185c7c428
comparison
equal deleted inserted replaced
47:ac4c0b4111ba 48:0a5c312de09a
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 47 | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN
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
117 s (FUNCTORleft, strright)) 117 s (FUNCTORleft, strright))
118 | FUNCTOR CSYMBOL LPAREN CSYMBOL COLON sgn RPAREN COLON sgn EQ str 118 | FUNCTOR CSYMBOL LPAREN CSYMBOL COLON sgn RPAREN COLON sgn EQ str
119 (DStr (CSYMBOL1, NONE, 119 (DStr (CSYMBOL1, NONE,
120 (StrFun (CSYMBOL2, sgn1, SOME sgn2, str), s (FUNCTORleft, strright))), 120 (StrFun (CSYMBOL2, sgn1, SOME sgn2, str), s (FUNCTORleft, strright))),
121 s (FUNCTORleft, strright)) 121 s (FUNCTORleft, strright))
122 | EXTERN STRUCTURE CSYMBOL COLON sgn (DFfiStr (CSYMBOL, sgn), s (EXTERNleft, sgnright))
122 123
123 sgn : sgntm (sgntm) 124 sgn : sgntm (sgntm)
124 | FUNCTOR LPAREN CSYMBOL COLON sgn RPAREN COLON sgn 125 | FUNCTOR LPAREN CSYMBOL COLON sgn RPAREN COLON sgn
125 (SgnFun (CSYMBOL, sgn1, sgn2), s (FUNCTORleft, sgn2right)) 126 (SgnFun (CSYMBOL, sgn1, sgn2), s (FUNCTORleft, sgn2right))
126 127