diff options
Diffstat (limited to 'src/PGF')
| -rw-r--r-- | src/PGF/Macros.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/PGF/Macros.hs b/src/PGF/Macros.hs index d8e203727..22b96df92 100644 --- a/src/PGF/Macros.hs +++ b/src/PGF/Macros.hs @@ -10,6 +10,9 @@ import Data.List -- operations for manipulating PGF grammars and objects +mapConcretes :: (Concr -> Concr) -> PGF -> PGF +mapConcretes f pgf = pgf { concretes = Map.map f (concretes pgf) } + lookLin :: PGF -> CId -> CId -> Term lookLin pgf lang fun = lookMap tm0 fun $ lins $ lookMap (error "no lang") lang $ concretes pgf |