diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-22 18:17:21 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-22 18:17:21 -0400 |
| commit | 5eee5f4a3b11c467c853f8397c7f679e5d5acc7a (patch) | |
| tree | e7e2de799c3ac84bba0d9d4e6df73e9fe1ca5fcb /src/lacweb.grm | |
| parent | a2f45884de59da6607cdb38080b956193e2e883f (diff) | |
include
Diffstat (limited to 'src/lacweb.grm')
| -rw-r--r-- | src/lacweb.grm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/lacweb.grm b/src/lacweb.grm index 3b85df07..021e862e 100644 --- a/src/lacweb.grm +++ b/src/lacweb.grm @@ -44,7 +44,7 @@ val s = ErrorMsg.spanOf | TYPE | NAME | ARROW | LARROW | DARROW | FN | PLUSPLUS | DOLLAR - | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN + | STRUCTURE | SIGNATURE | STRUCT | SIG | END | FUNCTOR | WHERE | EXTERN | INCLUDE | OPEN %nonterm file of decl list @@ -147,6 +147,7 @@ sgi : CON SYMBOL DCOLON kind (SgiConAbs (SYMBOL, kind), s (CONleft, k (SgiStr (CSYMBOL1, (SgnFun (CSYMBOL2, sgn1, sgn2), s (FUNCTORleft, sgn2right))), s (FUNCTORleft, sgn2right)) + | INCLUDE sgn (SgiInclude sgn, s (INCLUDEleft, sgnright)) sgis : ([]) | sgi sgis (sgi :: sgis) |