diff options
Diffstat (limited to 'src/GF/Devel/Grammar')
| -rw-r--r-- | src/GF/Devel/Grammar/GFtoSource.hs | 2 | ||||
| -rw-r--r-- | src/GF/Devel/Grammar/Modules.hs | 2 | ||||
| -rw-r--r-- | src/GF/Devel/Grammar/SourceToGF.hs | 4 |
3 files changed, 6 insertions, 2 deletions
diff --git a/src/GF/Devel/Grammar/GFtoSource.hs b/src/GF/Devel/Grammar/GFtoSource.hs index b49d9ee2f..2866c0446 100644 --- a/src/GF/Devel/Grammar/GFtoSource.hs +++ b/src/GF/Devel/Grammar/GFtoSource.hs @@ -38,6 +38,8 @@ trModule (i,mo) = P.MModule compl typ body where MTGrammar -> P.MGrammar i' MTAbstract -> P.MAbstract i' MTConcrete a -> P.MConcrete i' (tri a) + MTInterface -> P.MInterface i' + MTInstance a -> P.MInstance i' (tri a) body = P.MBody (trExtends (mextends mo)) (mkOpens (map trOpen (mopens mo))) diff --git a/src/GF/Devel/Grammar/Modules.hs b/src/GF/Devel/Grammar/Modules.hs index a3bf69485..23dfdae72 100644 --- a/src/GF/Devel/Grammar/Modules.hs +++ b/src/GF/Devel/Grammar/Modules.hs @@ -54,6 +54,8 @@ type JEntry = Either Judgement Indirection data ModuleType = MTAbstract | MTConcrete Ident + | MTInterface + | MTInstance Ident | MTGrammar deriving Eq diff --git a/src/GF/Devel/Grammar/SourceToGF.hs b/src/GF/Devel/Grammar/SourceToGF.hs index d2690b4a7..fecb5b4ea 100644 --- a/src/GF/Devel/Grammar/SourceToGF.hs +++ b/src/GF/Devel/Grammar/SourceToGF.hs @@ -85,10 +85,10 @@ transModDef x = case x of id' <- transIdent id open' <- transIdent open return (transCncDef, MTConcrete open', id') - MInterface id -> mkModRes id MTAbstract body + MInterface id -> mkModRes id MTInterface body MInstance id open -> do open' <- transIdent open - mkModRes id (MTConcrete open') body + mkModRes id (MTInstance open') body mkBody (trDef, mtyp', id') body where |
