diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-22 10:53:11 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-22 10:53:11 -0400 |
| commit | ebf05a538b3de96189fefaabb68613e58a2f9f51 (patch) | |
| tree | 067ac515fc4b911618a42b39dfe76b109031a314 /src/lacweb.grm | |
| parent | 3b6cb47aff3c43b36945c1558eb21d3c7661a9c4 (diff) | |
Lexer/parser hacks to share code between regular and signature file parsers
Diffstat (limited to 'src/lacweb.grm')
| -rw-r--r-- | src/lacweb.grm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lacweb.grm b/src/lacweb.grm index 17bc31cc..3b85df07 100644 --- a/src/lacweb.grm +++ b/src/lacweb.grm @@ -97,6 +97,8 @@ val s = ErrorMsg.spanOf %% file : decls (decls) + | SIG sgis ([(DSgn ("?", (SgnConst sgis, s (SIGleft, sgisright))), + s (SIGleft, sgisright))]) decls : ([]) | decl decls (decl :: decls) |