diff options
Diffstat (limited to 'src/GF/Grammar')
| -rw-r--r-- | src/GF/Grammar/Grammar.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/GF/Grammar/Grammar.hs b/src/GF/Grammar/Grammar.hs index 4210358f1..5259e5618 100644 --- a/src/GF/Grammar/Grammar.hs +++ b/src/GF/Grammar/Grammar.hs @@ -21,6 +21,7 @@ module GF.Grammar.Grammar (SourceGrammar, SourceAbs, SourceRes, SourceCnc, + mapSourceModule, Info(..), PValues, Perh, @@ -75,6 +76,9 @@ type SourceAbs = Module Ident Info type SourceRes = Module Ident Info type SourceCnc = Module Ident Info +mapSourceModule :: (Module Ident Info -> Module Ident Info) -> SourceModule -> SourceModule +mapSourceModule f (i,mi) = (i, mapModules' f mi) + -- this is created in CheckGrammar, and so are Val and PVal type PValues = [Term] |