diff options
| author | krasimir <krasimir@chalmers.se> | 2009-01-19 13:23:03 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-01-19 13:23:03 +0000 |
| commit | d95ca4a103c9023aa104b25acdc9c21418de6a14 (patch) | |
| tree | 7cff6e45e2dc1ba08deb503589e21770c7f239b3 /src/GF/Grammar/Grammar.hs | |
| parent | fa7ab84471652c40079e4f77d242208376c4b668 (diff) | |
refactor the GF.Grammar.Grammar syntax. The obsolete constructions are removed
Diffstat (limited to 'src/GF/Grammar/Grammar.hs')
| -rw-r--r-- | src/GF/Grammar/Grammar.hs | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/src/GF/Grammar/Grammar.hs b/src/GF/Grammar/Grammar.hs index a3735c32f..c1ec709f3 100644 --- a/src/GF/Grammar/Grammar.hs +++ b/src/GF/Grammar/Grammar.hs @@ -18,9 +18,6 @@ module GF.Grammar.Grammar (SourceGrammar, emptySourceGrammar, SourceModInfo, SourceModule, - SourceAbs, - SourceRes, - SourceCnc, mapSourceModule, Info(..), PValues, @@ -72,12 +69,8 @@ type SourceModInfo = ModInfo Ident Info type SourceModule = (Ident, SourceModInfo) -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) +mapSourceModule :: (SourceModInfo -> SourceModInfo) -> (SourceModule -> SourceModule) +mapSourceModule f (i,mi) = (i, f mi) -- this is created in CheckGrammar, and so are Val and PVal type PValues = [Term] @@ -95,7 +88,6 @@ data Info = -- judgements in abstract syntax AbsCat (Perh Context) (Perh [Term]) -- ^ (/ABS/) constructors; must be 'Id' or 'QId' | AbsFun (Perh Type) (Perh Term) -- ^ (/ABS/) 'Yes f' = canonical - | AbsTrans Term -- ^ (/ABS/) -- judgements in resource | ResParam (Perh ([Param],Maybe PValues)) -- ^ (/RES/) |