mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 11:42:49 -06:00
PatternMatch.hs: commented out suspicious unused function varsOfPatt
This commit is contained in:
@@ -146,7 +146,7 @@ isInConstantForm trm = case trm of
|
|||||||
Empty -> True
|
Empty -> True
|
||||||
EInt _ -> True
|
EInt _ -> True
|
||||||
_ -> False ---- isInArgVarForm trm
|
_ -> False ---- isInArgVarForm trm
|
||||||
|
{- -- unused and suspicuous, see contP in GF.Compile.Compute.Concrete instead
|
||||||
varsOfPatt :: Patt -> [Ident]
|
varsOfPatt :: Patt -> [Ident]
|
||||||
varsOfPatt p = case p of
|
varsOfPatt p = case p of
|
||||||
PV x -> [x]
|
PV x -> [x]
|
||||||
@@ -155,7 +155,7 @@ varsOfPatt p = case p of
|
|||||||
PR r -> concat $ map (varsOfPatt . snd) r
|
PR r -> concat $ map (varsOfPatt . snd) r
|
||||||
PT _ q -> varsOfPatt q
|
PT _ q -> varsOfPatt q
|
||||||
_ -> []
|
_ -> []
|
||||||
|
-}
|
||||||
-- | to search matching parameter combinations in tables
|
-- | to search matching parameter combinations in tables
|
||||||
isMatchingForms :: [Patt] -> [Term] -> Bool
|
isMatchingForms :: [Patt] -> [Term] -> Bool
|
||||||
isMatchingForms ps ts = all match (zip ps ts') where
|
isMatchingForms ps ts = all match (zip ps ts') where
|
||||||
|
|||||||
Reference in New Issue
Block a user