comparison src/lacweb.grm @ 54:a6e185c7c428

Lexer/parser hacks to share code between regular and signature file parsers
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 10:53:11 -0400
parents 0a5c312de09a
children fd8a81ecd598
comparison
equal deleted inserted replaced
53:4f641f8fddaa 54:a6e185c7c428
95 %left DOT 95 %left DOT
96 96
97 %% 97 %%
98 98
99 file : decls (decls) 99 file : decls (decls)
100 | SIG sgis ([(DSgn ("?", (SgnConst sgis, s (SIGleft, sgisright))),
101 s (SIGleft, sgisright))])
100 102
101 decls : ([]) 103 decls : ([])
102 | decl decls (decl :: decls) 104 | decl decls (decl :: decls)
103 105
104 decl : CON SYMBOL EQ cexp (DCon (SYMBOL, NONE, cexp), s (CONleft, cexpright)) 106 decl : CON SYMBOL EQ cexp (DCon (SYMBOL, NONE, cexp), s (CONleft, cexpright))