summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2011-08-30 12:13:50 +0000
committerhallgren <hallgren@chalmers.se>2011-08-30 12:13:50 +0000
commita0c785d5d01062d3deb2d942669fc105a88d9d0e (patch)
treec6f2067ea466be7f0613dc9a4f4d5068e3d3160f /src
parent125ae7a3d33cf9137204a9449b0a5dd004adae1f (diff)
PatternMatch.hs: commented out suspicious unused function varsOfPatt
Diffstat (limited to 'src')
-rw-r--r--src/compiler/GF/Grammar/PatternMatch.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/GF/Grammar/PatternMatch.hs b/src/compiler/GF/Grammar/PatternMatch.hs
index 53ffc3394..37cebcff7 100644
--- a/src/compiler/GF/Grammar/PatternMatch.hs
+++ b/src/compiler/GF/Grammar/PatternMatch.hs
@@ -146,7 +146,7 @@ isInConstantForm trm = case trm of
Empty -> True
EInt _ -> True
_ -> False ---- isInArgVarForm trm
-
+{- -- unused and suspicuous, see contP in GF.Compile.Compute.Concrete instead
varsOfPatt :: Patt -> [Ident]
varsOfPatt p = case p of
PV x -> [x]
@@ -155,7 +155,7 @@ varsOfPatt p = case p of
PR r -> concat $ map (varsOfPatt . snd) r
PT _ q -> varsOfPatt q
_ -> []
-
+-}
-- | to search matching parameter combinations in tables
isMatchingForms :: [Patt] -> [Term] -> Bool
isMatchingForms ps ts = all match (zip ps ts') where