From: keithw <unknown>
Date: Thu, 29 Jun 2000 14:25:36 +0000 (+0000)
Subject: [project @ 2000-06-29 14:25:36 by keithw]
X-Git-Tag: Approximately_9120_patches~4115
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=868297c37234fb3aca4d0b685239a31fecafbaf3;p=ghc-hetmet.git

[project @ 2000-06-29 14:25:36 by keithw]
Add missing implicit occs relating to list comprehensions in
deriving (Ix,Read).
---

diff --git a/ghc/compiler/prelude/PrelInfo.lhs b/ghc/compiler/prelude/PrelInfo.lhs
index ad67d07..12acaa9 100644
--- a/ghc/compiler/prelude/PrelInfo.lhs
+++ b/ghc/compiler/prelude/PrelInfo.lhs
@@ -339,12 +339,18 @@ deriving_occ_info
     , (boundedClassKey,	[intTyCon_RDR])
     , (showClassKey,	[intTyCon_RDR, numClass_RDR, ordClass_RDR, compose_RDR, showString_RDR, 
 			 showParen_RDR, showSpace_RDR, showList___RDR])
-    , (readClassKey,	[intTyCon_RDR, numClass_RDR, ordClass_RDR, append_RDR, 
+    , (readClassKey,	[intTyCon_RDR, numClass_RDR, ordClass_RDR, append_RDR,
+                         foldr_RDR, build_RDR,
+                             -- foldr and build required for list comprehension
+                             -- KSW 2000-06
 			 lex_RDR, readParen_RDR, readList___RDR, thenM_RDR])
 			     -- returnM (and the rest of the Monad class decl) 
 			     -- will be forced in as result of depending
 			     -- on thenM.   -- SOF 1/99
-    , (ixClassKey,	[intTyCon_RDR, numClass_RDR, and_RDR, map_RDR, enumFromTo_RDR, 
+    , (ixClassKey,	[intTyCon_RDR, numClass_RDR, and_RDR, map_RDR, enumFromTo_RDR,
+                         foldr_RDR, build_RDR,
+                             -- foldr and build required for list comprehension used
+                             -- with single constructor types  -- KSW 2000-06
 			 returnM_RDR, failM_RDR])
 			     -- the last two are needed to force returnM, thenM and failM
 			     -- in before typechecking the list(monad) comprehension