diff options
Diffstat (limited to 'src/GF/Infra/Modules.hs')
| -rw-r--r-- | src/GF/Infra/Modules.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/GF/Infra/Modules.hs b/src/GF/Infra/Modules.hs index 0cff03328..edbddbd3c 100644 --- a/src/GF/Infra/Modules.hs +++ b/src/GF/Infra/Modules.hs @@ -22,7 +22,7 @@ module GF.Infra.Modules ( MGrammar(..), ModInfo(..), Module(..), ModuleType(..), MReuseType(..), MInclude (..), extends, isInherited,inheritAll, - updateMGrammar, updateModule, replaceJudgements, + updateMGrammar, updateModule, replaceJudgements, addFlag, addOpenQualif, flagsModule, allFlags, mapModules, MainGrammar(..), MainConcreteSpec(..), OpenSpec(..), OpenQualif(..), oSimple, oQualif, @@ -125,6 +125,9 @@ addOpenQualif :: i -> i -> Module i f t -> Module i f t addOpenQualif i j (Module mt ms fs me ops js) = Module mt ms fs me (oQualif i j : ops) js +addFlag :: f -> Module i f t -> Module i f t +addFlag f mo = mo {flags = f : flags mo} + flagsModule :: (i,ModInfo i f a) -> [f] flagsModule (_,mi) = case mi of ModMod m -> flags m |