String pattern handling

This commit is contained in:
aarne
2004-03-23 12:06:12 +00:00
parent c3796cf04c
commit 31836c0da9
5 changed files with 8 additions and 3 deletions

View File

@@ -416,6 +416,8 @@ inferLType gr trm = case trm of
PP _ _ ps -> True --- all isConstPatt ps
PR ps -> all (isConstPatt . snd) ps
PT _ p -> isConstPatt p
PString _ -> True
PInt _ -> True
_ -> False
inferPatt p = case p of