Hi,
This looks like a bug: freshly checked out ghc-3-branch, I am
compiling it on easter (with the installed 3.02) with -fno-specialise
and -dcore-lint and get this message:
/local/fp/bin/i386-unknown-linux/ghc-3.02 -cpp -fglasgow-exts -Rghc-timing -I.
-IcodeGen -InativeGen -Iparser
-iutils:basicTypes:types:hsSyn:prelude:rename:typecheck:deSugar:coreSyn:specialise:simplCore:stranal:stgSyn:simplStg:codeGen:absCSyn:main:reader:profiling:parser:nativeGen
-recomp -fno-specialise -dcore-lint -K2m -c hsSyn/HsExpr.lhs -o hsSyn/HsExpr.o
-osuf o
*** Core Lint Errors: in result of Simplify (4) ***
hsSyn/HsExpr.lhs:344: [RHS of pprExpr_a2nJ :: HsExpr.HsExpr{-rlC-} flexi_ta1Mj
id_ta1Kn pat_ta1Ko
-> Outputable.PprStyle{-rxP-}
-> Pretty.Doc{-rVB-}]
In some algebraic case alternative, type of argument doesn't match data
constructor:
HsExpr.HsExpr{-rlC-} PrelGHC.Void{-3U-} id_ta1Kn pat_ta1Ko
-> Outputable.PprStyle{-rxP-}
-> Pretty.Doc{-rVB-}
ds_d5gy
hsSyn/HsExpr.lhs:344: [RHS of pprExpr_a2nJ :: HsExpr.HsExpr{-rlC-} flexi_ta1Mj
id_ta1Kn pat_ta1Ko
-> Outputable.PprStyle{-rxP-}
-> Pretty.Doc{-rVB-}]
In some algebraic case alternative, type of argument doesn't match data
constructor:
HsExpr.HsExpr{-rlC-} PrelGHC.Void{-3U-} id_ta1Kn pat_ta1Ko
-> Outputable.PprStyle{-rxP-}
-> Pretty.Doc{-rVB-}
ds_d5gB
hsSyn/HsExpr.lhs:344: [RHS of pprExpr_a2nJ :: HsExpr.HsExpr{-rlC-} flexi_ta1Mj
id_ta1Kn pat_ta1Ko
-> Outputable.PprStyle{-rxP-}
-> Pretty.Doc{-rVB-}]
In some algebraic case alternative, type of argument doesn't match data
constructor:
HsExpr.DoOrListComp{-rlA-}
-> [HsExpr.Stmt{-rlz-} PrelGHC.Void{-3U-} id_ta1Kn pat_ta1Ko]
-> Outputable.PprStyle{-rxP-}
-> Pretty.Doc{-rVB-}
ds_d5gz
Have fun and please let me know if this is fatal or I can just switch
off core lint.
Thanks, Laszlo
