diff 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
line wrap: on
line diff
--- a/src/lacweb.grm	Sun Jun 22 10:21:38 2008 -0400
+++ b/src/lacweb.grm	Sun Jun 22 10:53:11 2008 -0400
@@ -97,6 +97,8 @@
 %%
 
 file   : decls                          (decls)
+       | SIG sgis                       ([(DSgn ("?", (SgnConst sgis, s (SIGleft, sgisright))),
+                                           s (SIGleft, sgisright))])
 
 decls  :                                ([])
        | decl decls                     (decl :: decls)