diff options
Diffstat (limited to 'src/GF/Devel/Grammar/Modules.hs')
| -rw-r--r-- | src/GF/Devel/Grammar/Modules.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/GF/Devel/Grammar/Modules.hs b/src/GF/Devel/Grammar/Modules.hs index 774cc6387..0d3d96114 100644 --- a/src/GF/Devel/Grammar/Modules.hs +++ b/src/GF/Devel/Grammar/Modules.hs @@ -27,13 +27,13 @@ data Module = Module { mextends :: [(Ident,MInclude)], mopens :: [(Ident,Ident)], -- used name, original name mflags :: Map Ident String, - mjments :: Map Ident (Either Judgement Ident) -- def or indirection + mjments :: Map Ident (Either Judgement Indirection) -- def or indirection } emptyModule :: Ident -> Module emptyModule m = Module MTGrammar [] [] [] [] empty empty -listJudgements :: Module -> [(Ident,Either Judgement Ident)] +listJudgements :: Module -> [(Ident,Either Judgement Indirection)] listJudgements = assocs . mjments data ModuleType = @@ -46,4 +46,5 @@ data MInclude = | MIExcept [Ident] | MIOnly [Ident] +type Indirection = (Ident,Bool) -- module of origin, whether canonical |
