diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-06-19 18:12:35 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-06-19 18:12:35 +0000 |
| commit | e3f12103697e5eb9caada06134ba9aba01333928 (patch) | |
| tree | 17a7f0cf5efbe215a23d5837d11a6981954c39da /src/GF/Source/GF.cf | |
| parent | f30fa0b4d15ec256f55e2c453fc3d7c42de9b3bf (diff) | |
extended functor syntax
Diffstat (limited to 'src/GF/Source/GF.cf')
| -rw-r--r-- | src/GF/Source/GF.cf | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/src/GF/Source/GF.cf b/src/GF/Source/GF.cf index f90499f52..9cb3faf66 100644 --- a/src/GF/Source/GF.cf +++ b/src/GF/Source/GF.cf @@ -43,9 +43,14 @@ MTConcrete. ModType ::= "concrete" Ident "of" Ident ; MTInstance. ModType ::= "instance" Ident "of" Ident ; MTTransfer. ModType ::= "transfer" Ident ":" Open "->" Open ; -MBody. ModBody ::= Extend Opens "{" [TopDef] "}" ; -MWith. ModBody ::= Ident "with" [Open] ; -MWithE. ModBody ::= [Included] "**" Ident "with" [Open] ; + +MBody. ModBody ::= Extend Opens "{" [TopDef] "}" ; +MNoBody. ModBody ::= [Included] ; +MWith. ModBody ::= Included "with" [Open] ; +MWithBody. ModBody ::= Included "with" [Open] "**" Opens "{" [TopDef] "}" ; +MWithE. ModBody ::= [Included] "**" Included "with" [Open] ; +MWithEBody. ModBody ::= [Included] "**" Included "with" [Open] "**" Opens "{" [TopDef] "}" ; + MReuse. ModBody ::= "reuse" Ident ; --% MUnion. ModBody ::= "union" [Included] ;--% |