diff options
| author | krasimir <krasimir@chalmers.se> | 2008-04-22 08:33:23 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2008-04-22 08:33:23 +0000 |
| commit | 92917e6e5e17a9c2bee27d33835755516a8b1178 (patch) | |
| tree | 6556633e247b13745ebe14f2d31229bb4ac06aaf /src/GF/Source/GF.cf | |
| parent | 4c73735de917e2811f1ce75561397dc875365f94 (diff) | |
Use Happy grammar for imports extraction instead of hand made shallow crapy grammar
Diffstat (limited to 'src/GF/Source/GF.cf')
| -rw-r--r-- | src/GF/Source/GF.cf | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/GF/Source/GF.cf b/src/GF/Source/GF.cf index a580f25e0..364550e6f 100644 --- a/src/GF/Source/GF.cf +++ b/src/GF/Source/GF.cf @@ -32,6 +32,20 @@ separator Transfer "" ;--% TransferIn. Transfer ::= "(" "transfer" "in" Open ")" ; --% TransferOut. Transfer ::= "(" "transfer" "out" Open ")" ; --% +-- the module header + +MModule2. ModHeader ::= ComplMod ModType "=" ModHeaderBody ; + +MBody2. ModHeaderBody ::= Extend Opens ; +MNoBody2. ModHeaderBody ::= [Included] ; +MWith2. ModHeaderBody ::= Included "with" [Open] ; +MWithBody2. ModHeaderBody ::= Included "with" [Open] "**" Opens ; +MWithE2. ModHeaderBody ::= [Included] "**" Included "with" [Open] ; +MWithEBody2. ModHeaderBody ::= [Included] "**" Included "with" [Open] "**" Opens ; + +MReuse2. ModHeaderBody ::= "reuse" PIdent ; --% +MUnion2. ModHeaderBody ::= "union" [Included] ;--% + -- the individual modules MModule. ModDef ::= ComplMod ModType "=" ModBody ; |