diff options
| author | hallgren <hallgren@chalmers.se> | 2013-04-08 15:38:11 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-04-08 15:38:11 +0000 |
| commit | b8ce5ef5b3186e437e09b8c47dbe1d1fa505ba55 (patch) | |
| tree | 891f2d919a4ad473b010aed30a0f76793d6bf28b /src/runtime | |
| parent | 35b47968d2efbb61b3faf5b31350c70cb24cb68e (diff) | |
PGF.hs: export function missingLins
Also in Commands.hs: be explicit about things imported from the PGF library
that are not in the public API.
Also a couple of haddock documentation fixes.
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 |