From ebf05a538b3de96189fefaabb68613e58a2f9f51 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 22 Jun 2008 10:53:11 -0400
Subject: Lexer/parser hacks to share code between regular and signature file
 parsers

---
 src/lacweb.grm | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/lacweb.grm')

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)
-- 
cgit v1.2.3