diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-01-13 13:47:15 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-01-13 13:47:15 +0000 |
| commit | 90c7caa788cff71121bebf54cf21f23318cb46c7 (patch) | |
| tree | b40ab160fce650c29c24934dfc3fd12438b61a3c /src/GF/Grammar/PatternMatch.hs | |
| parent | acd24331af16964c6f3dad549ce43e44130b1284 (diff) | |
type checking pattern bindings
Diffstat (limited to 'src/GF/Grammar/PatternMatch.hs')
| -rw-r--r-- | src/GF/Grammar/PatternMatch.hs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/GF/Grammar/PatternMatch.hs b/src/GF/Grammar/PatternMatch.hs index c7205dcaf..7635e6fa1 100644 --- a/src/GF/Grammar/PatternMatch.hs +++ b/src/GF/Grammar/PatternMatch.hs @@ -105,9 +105,10 @@ tryMatch (p,t) = do return (concat matches) (PRep p1, ([],K s, [])) -> checks [ - trym (foldr (const (PSeq p1)) (PString "") [1..n]) t' | n <- [0 .. length s] - ] - + trym (foldr (const (PSeq p1)) (PString "") + [1..n]) t' | n <- [0 .. length s] + ] >> + return [] _ -> prtBad "no match in case expr for" t isInConstantForm :: Term -> Bool |