diff options
Diffstat (limited to 'src/compiler/GF/Grammar/PatternMatch.hs')
| -rw-r--r-- | src/compiler/GF/Grammar/PatternMatch.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler/GF/Grammar/PatternMatch.hs b/src/compiler/GF/Grammar/PatternMatch.hs index 48cb9bd3f..845867459 100644 --- a/src/compiler/GF/Grammar/PatternMatch.hs +++ b/src/compiler/GF/Grammar/PatternMatch.hs @@ -201,7 +201,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 @@ -209,3 +209,4 @@ isMatchingForms ps ts = all match (zip ps ts') where match _ = True ts' = map appForm ts +-}
\ No newline at end of file |