[project @ 2000-06-24 17:47:12 by panne]
authorpanne <unknown>
Sat, 24 Jun 2000 17:47:12 +0000 (17:47 +0000)
committerpanne <unknown>
Sat, 24 Jun 2000 17:47:12 +0000 (17:47 +0000)
Fixed "filterFB" RULE

*** please merge ***

ghc/lib/std/PrelList.lhs

index dcc0c81..18f5325 100644 (file)
@@ -124,7 +124,7 @@ filterFB c p x r | p x       = x `c` r
 
 {-# RULES
 "filter"       forall p xs.    filter p xs = build (\c n -> foldr (filterFB c p) n xs)
-"filterFB"     forall c p q.   filterFB (filterFB c p) q = filterFB c (\x -> p x && q x)
+"filterFB"     forall c p q.   filterFB (filterFB c p) q = filterFB c (\x -> q x && p x)
 "filterList"   forall p.       foldr (filterFB (:) p) [] = filterList p
  #-}