From 145958bf9d87eb1aa780d2976ec49a4ae2287d66 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Fri, 14 Dec 2001 17:24:19 +0000
Subject: [PATCH] [project @ 2001-12-14 17:24:19 by simonpj] Add a rule for
 foldr k z [x]

---
 ghc/lib/std/PrelBase.lhs |    5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/ghc/lib/std/PrelBase.lhs b/ghc/lib/std/PrelBase.lhs
index 0e7541e..dbff5aa 100644
--- a/ghc/lib/std/PrelBase.lhs
+++ b/ghc/lib/std/PrelBase.lhs
@@ -1,5 +1,5 @@
 % -----------------------------------------------------------------------------
-% $Id: PrelBase.lhs,v 1.58 2001/12/14 12:05:15 simonmar Exp $
+% $Id: PrelBase.lhs,v 1.59 2001/12/14 17:24:19 simonpj Exp $
 %
 % (c) The University of Glasgow, 1992-2000
 %
@@ -283,7 +283,8 @@ augment g xs = g (:) xs
 -- for short lists, I suppose.
 -- "foldr/cons"	forall k z x xs. foldr k z (x:xs) = k x (foldr k z xs)
 
-"foldr/nil"	forall k z.	 foldr k z []     = z 
+"foldr/single"	forall k z x. foldr k z [x] = k x z
+"foldr/nil"	forall k z.   foldr k z []  = z 
 
 "augment/build" forall (g::forall b. (a->b->b) -> b -> b)
 		       (h::forall b. (a->b->b) -> b -> b) .
-- 
1.7.10.4