diff options
| author | aarne <unknown> | 2005-02-05 09:52:04 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-02-05 09:52:04 +0000 |
| commit | 45f3b7d5e74dde250a3e0eb92469efc22479cd30 (patch) | |
| tree | dac6258b5188e5b618f3d0828e525437bcca6758 /src/GF/Infra/Modules.hs | |
| parent | bc05653e825e082b70eebf2f420eb5a97610f56c (diff) | |
optimization flags and improver eng
Diffstat (limited to 'src/GF/Infra/Modules.hs')
| -rw-r--r-- | src/GF/Infra/Modules.hs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/GF/Infra/Modules.hs b/src/GF/Infra/Modules.hs index 3da4bca9f..2f14095a9 100644 --- a/src/GF/Infra/Modules.hs +++ b/src/GF/Infra/Modules.hs @@ -9,7 +9,7 @@ -- > CVS $Author $ -- > CVS $Revision $ -- --- (Description of the module) +-- Datastructures and functions for modules, common to GF and GFC. ----------------------------------------------------------------------------- module Modules where @@ -91,6 +91,11 @@ 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 +flagsModule :: (i,ModInfo i f a) -> [f] +flagsModule (_,mi) = case mi of + ModMod m -> flags m + _ -> [] + allFlags :: MGrammar i f a -> [f] allFlags gr = concat $ map flags $ reverse [m | (_, ModMod m) <- modules gr] |
