moved some modules to Devel.Grammar

1 files changed, 0 insertions, 49 deletions

diff --git a/src/GF/Devel/Modules.hs b/src/GF/Devel/Modules.hs
deleted file mode 100644
index 112cca221..000000000
--- a/src/GF/Devel/Modules.hs
+++ /dev/null
@@ -1,49 +0,0 @@
-module GF.Devel.Modules where
-
-import GF.Devel.Judgements
-import GF.Devel.Terms
-import GF.Infra.Ident
-
-import GF.Data.Operations
-
-import Control.Monad
-import Data.Map
-
-
-data GF = GF {
-  gfabsname   :: Maybe Ident ,
-  gfcncnames  :: [Ident] ,
-  gflags      :: Map Ident String ,   -- value of a global flag
-  gfmodules   :: Map Ident Module
-  }
-
-emptyGF :: GF
-emptyGF = GF Nothing [] empty empty
-
-data Module = Module {
-  mtype       :: ModuleType,
-  minterfaces :: [(Ident,Ident)],           -- non-empty for functors 
-  minstances  :: [((Ident,MInclude),[(Ident,Ident)])], -- non-empty for instant'ions
-  mextends    :: [(Ident,MInclude)],
-  mopens      :: [(Ident,Ident)],           -- used name, original name
-  mflags      :: Map Ident String,
-  mjments     :: Map Ident (Either Judgement Ident)  -- def or indirection
-  }
-
-emptyModule :: Ident -> Module
-emptyModule m = Module MTGrammar [] [] [] [] empty empty
-
-listJudgements :: Module -> [(Ident,Either Judgement Ident)]
-listJudgements = assocs . mjments
-
-data ModuleType =
-    MTAbstract
-  | MTConcrete Ident
-  | MTGrammar 
-
-data MInclude =
-    MIAll
-  | MIExcept [Ident]
-  | MIOnly [Ident]
-
-