diff options
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/haskell/PGF.hs | 4 | ||||
| -rw-r--r-- | src/runtime/haskell/PGF/Macros.hs | 5 |
2 files changed, 5 insertions, 4 deletions
diff --git a/src/runtime/haskell/PGF.hs b/src/runtime/haskell/PGF.hs index b368d583d..d0eadd764 100644 --- a/src/runtime/haskell/PGF.hs +++ b/src/runtime/haskell/PGF.hs @@ -35,7 +35,7 @@ module PGF( categories, startCat, -- * Functions - functions, functionsByCat, functionType, + functions, functionsByCat, functionType, missingLins, -- * Expressions & Trees -- ** Tree @@ -132,7 +132,7 @@ module PGF( showProbabilities, readProbabilitiesFromFile, - -- ** SortTop + -- -- ** SortTop -- forExample, -- * Browsing diff --git a/src/runtime/haskell/PGF/Macros.hs b/src/runtime/haskell/PGF/Macros.hs index 88057ce45..31f7655b3 100644 --- a/src/runtime/haskell/PGF/Macros.hs +++ b/src/runtime/haskell/PGF/Macros.hs @@ -69,12 +69,13 @@ functionsToCat pgf cat = where (_,fs,_) = lookMap ([],[],0) cat $ cats $ abstract pgf -missingLins :: PGF -> CId -> [CId] +-- | List of functions that lack linearizations in the given language. +missingLins :: PGF -> Language -> [CId] missingLins pgf lang = [c | c <- fs, not (hasl c)] where fs = Map.keys $ funs $ abstract pgf hasl = hasLin pgf lang -hasLin :: PGF -> CId -> CId -> Bool +hasLin :: PGF -> Language -> CId -> Bool hasLin pgf lang f = Map.member f $ lproductions $ lookConcr pgf lang restrictPGF :: (CId -> Bool) -> PGF -> PGF |