diff options
Diffstat (limited to 'src/GF/Source/AbsGF.hs')
| -rw-r--r-- | src/GF/Source/AbsGF.hs | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/GF/Source/AbsGF.hs b/src/GF/Source/AbsGF.hs index 1ffba4267..e6b389576 100644 --- a/src/GF/Source/AbsGF.hs +++ b/src/GF/Source/AbsGF.hs @@ -38,9 +38,12 @@ data ModType = deriving (Eq,Ord,Show) data ModBody = - MBody Extend Opens [TopDef] - | MWith Ident [Open] - | MWithE [Included] Ident [Open] + MNoBody [Included] + | MWithBody Included [Open] Opens [TopDef] + | MWithEBody [Included] Included [Open] Opens [TopDef] + | MBody Extend Opens [TopDef] + | MWith Included [Open] + | MWithE [Included] Included [Open] | MReuse Ident | MUnion [Included] deriving (Eq,Ord,Show) |