diff options
Diffstat (limited to 'src/GF/Source/GF.cf')
| -rw-r--r-- | src/GF/Source/GF.cf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/GF/Source/GF.cf b/src/GF/Source/GF.cf index 1edf8adb7..682debc9d 100644 --- a/src/GF/Source/GF.cf +++ b/src/GF/Source/GF.cf @@ -41,6 +41,7 @@ MTTransfer. ModType ::= "transfer" Ident ":" Open "->" Open ; MBody. ModBody ::= Extend Opens "{" [TopDef] "}" ; MWith. ModBody ::= Ident "with" [Open] ; MReuse. ModBody ::= "reuse" Ident ; +MUnion. ModBody ::= "union" [Included] ; separator TopDef "" ; @@ -62,6 +63,11 @@ QOCompl. QualOpen ::= ; QOIncompl. QualOpen ::= "incomplete" ; QOInterface. QualOpen ::= "interface" ; +separator Included "," ; + +IAll. Included ::= Ident ; +ISome. Included ::= Ident "[" [Ident] "]" ; + -- definitions after the $oper$ keywords DDecl. Def ::= [Ident] ":" Exp ; |