From 868297c37234fb3aca4d0b685239a31fecafbaf3 Mon Sep 17 00:00:00 2001 From: keithw Date: Thu, 29 Jun 2000 14:25:36 +0000 Subject: [PATCH] [project @ 2000-06-29 14:25:36 by keithw] Add missing implicit occs relating to list comprehensions in deriving (Ix,Read). --- ghc/compiler/prelude/PrelInfo.lhs | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) 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 -- 1.7.10.4