diff options
Diffstat (limited to 'src/runtime/haskell/PGF')
| -rw-r--r-- | src/runtime/haskell/PGF/Macros.hs | 5 |
1 files changed, 3 insertions, 2 deletions
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 |