From 277cd58374ee122c3ae4dc7d99a10971facaf830 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Mon, 27 Aug 2001 11:45:23 +0000
Subject: [PATCH] [project @ 2001-08-27 11:45:23 by simonmar] foldr is a good
 consumer (but not necessarily a good producer)

---
 ghc/docs/users_guide/glasgow_exts.sgml |   10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/ghc/docs/users_guide/glasgow_exts.sgml b/ghc/docs/users_guide/glasgow_exts.sgml
index 084eacf..5c80925 100644
--- a/ghc/docs/users_guide/glasgow_exts.sgml
+++ b/ghc/docs/users_guide/glasgow_exts.sgml
@@ -3011,14 +3011,14 @@ The following are good producers:
  <function>++</function>
 </para>
 </listitem>
-<listitem>
 
+<listitem>
 <para>
  <function>map</function>
 </para>
 </listitem>
-<listitem>
 
+<listitem>
 <para>
  <function>filter</function>
 </para>
@@ -3068,8 +3068,14 @@ The following are good consumers:
  <function>++</function> (on its first argument)
 </para>
 </listitem>
+
 <listitem>
+<para>
+ <function>foldr</function>
+</para>
+</listitem>
 
+<listitem>
 <para>
  <function>map</function>
 </para>
-- 
1.7.10.4