1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
module GF.Devel.Modules where
import GF.Grammar.Grammar
import GF.Infra.Ident
import Data.Map
data GF = GF {
gfabsname :: Maybe Ident ,
gfcncnames :: [Ident] ,
gflags :: Map Ident String , -- value of a global flag
gfmodules :: Map Ident Module
}
data Module = Module {
mtype :: ModuleType,
minterfaces :: [(Ident,Ident)], -- non-empty for functors
mextends :: [(Ident,MInclude)],
mopens :: [(Ident,Ident)], -- used name, original name
mflags :: Map Ident String,
mjments :: Map Ident (Either Judgement Ident) -- def or indirection
}
data ModuleType =
MAbstract
| MConcrete Ident
| MGrammar
data Judgement = Judgement {
jform :: JudgementForm,
jtype :: Type,
jdef :: Term,
jprintname :: Term
}
data JudgementForm =
JCat
| JFun
| JOper
| JParam
|
