diff options
Diffstat (limited to 'src/GF/Source/AbsGF.hs')
| -rw-r--r-- | src/GF/Source/AbsGF.hs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/GF/Source/AbsGF.hs b/src/GF/Source/AbsGF.hs index ac6968252..c683d0972 100644 --- a/src/GF/Source/AbsGF.hs +++ b/src/GF/Source/AbsGF.hs @@ -27,6 +27,21 @@ data Transfer = | TransferOut Open deriving (Eq,Ord,Show) +data ModHeader = + MModule2 ComplMod ModType ModHeaderBody + deriving (Eq,Ord,Show) + +data ModHeaderBody = + MBody2 Extend Opens + | MNoBody2 [Included] + | MWith2 Included [Open] + | MWithBody2 Included [Open] Opens + | MWithE2 [Included] Included [Open] + | MWithEBody2 [Included] Included [Open] Opens + | MReuse2 PIdent + | MUnion2 [Included] + deriving (Eq,Ord,Show) + data ModType = MTAbstract PIdent | MTResource PIdent |
