diff options
Diffstat (limited to 'src/GF/Source/AbsGF.hs')
| -rw-r--r-- | src/GF/Source/AbsGF.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/GF/Source/AbsGF.hs b/src/GF/Source/AbsGF.hs index 143957102..a92313f0b 100644 --- a/src/GF/Source/AbsGF.hs +++ b/src/GF/Source/AbsGF.hs @@ -41,13 +41,13 @@ data ModType = data ModBody = MBody Extend Opens [TopDef] | MWith Ident [Open] - | MWithE [Ident] Ident [Open] + | MWithE [Included] Ident [Open] | MReuse Ident | MUnion [Included] deriving (Eq,Ord,Show) data Extend = - Ext [Ident] + Ext [Included] | NoExt deriving (Eq,Ord,Show) @@ -76,6 +76,7 @@ data QualOpen = data Included = IAll Ident | ISome Ident [Ident] + | IMinus Ident [Ident] deriving (Eq,Ord,Show) data Def = |
