Mercurial > urweb
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)) |