From 701f006f2532203dc097f979dfe74cbd7ee739ab Mon Sep 17 00:00:00 2001 From: panne Date: Sat, 24 Jun 2000 17:47:12 +0000 Subject: [PATCH] [project @ 2000-06-24 17:47:12 by panne] Fixed "filterFB" RULE *** please merge *** --- ghc/lib/std/PrelList.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ghc/lib/std/PrelList.lhs b/ghc/lib/std/PrelList.lhs index dcc0c81..18f5325 100644 --- a/ghc/lib/std/PrelList.lhs +++ b/ghc/lib/std/PrelList.lhs @@ -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 #-} -- 1.7.10.4