Core Lint Errors: in result of Desugar
This error happens with ghc --make, so two source files are attached. To reproduce the error:
Microsoft Windows XP [Version 5.1.2600]
(C) Copyright 1985-2001 Microsoft Corp.
G:\>cd ghcError
G:\ghcError>ghc --version
The Glorious Glasgow Haskell Compilation System, version 6.6
G:\ghcError>ghc -dcore-lint --make Main.hs
[1 of 2] Compiling WrapIOMonad ( WrapIOMonad.hs, WrapIOMonad.o )
[2 of 2] Compiling Main ( Main.hs, Main.o )
*** Core Lint Errors: in result of Desugar ***
{-# LINE 11 "Main.hs #-}:
[RHS of f2_aGA :: WrapIOMonad.WrapIO2 a_aGz]
The type of this binder doesn't match the type of its RHS: f2_aGA
Binder's type: WrapIOMonad.WrapIO2 a_aGz
Rhs type: WrapIOMonad.WrapIO GHC.Base.String a_aGz
*** Offending Program ***
Rec {
:Main.main :: GHC.IOBase.IO ()
[Exported]
[]
:Main.main = GHC.TopHandler.runMainIO @ () Main.main
Main.main :: GHC.IOBase.IO ()
[Exported]
[]
Main.main = GHC.Err.undefined @ (GHC.IOBase.IO ())
main_aGK :: GHC.IOBase.IO ()
[]
main_aGK = Main.main
Main.f2 :: forall a_aB9. (GHC.Show.Show a_aB9) => WrapIOMonad.WrapIO2 a_aB9
[]
Main.f2 =
\ (@ a_aGz) ($dShow_aGD :: {GHC.Show.Show a_aGz}) ->
__letrec {
f2_aGA :: WrapIOMonad.WrapIO2 a_aGz
[]
f2_aGA = f1_aGB;
$dShow_aGI :: {GHC.Show.Show a_aGz}
[]
$dShow_aGI = $dShow_aGD;
f1_aGB :: WrapIOMonad.WrapIO GHC.Base.String a_aGz
[]
f1_aGB = Main.f1 @ a_aGz @ GHC.Base.String $dShow_aGI;
} in f2_aGA
Main.f1 :: forall a_aBb e_aBc.
(GHC.Show.Show a_aBb) =>
WrapIOMonad.WrapIO e_aBc a_aBb
[]
Main.f1 =
\ (@ a_aGf) (@ e_aGg) ($dShow_aGq :: {GHC.Show.Show a_aGf}) ->
__letrec {
f1_aGh :: WrapIOMonad.WrapIO e_aGg a_aGf
[]
f1_aGh = return_aGm @ a_aGf (GHC.Err.undefined @ a_aGf);
$dMonad_aGv :: {GHC.Base.Monad (WrapIOMonad.WrapIO e_aGg)}
[]
$dMonad_aGv = WrapIOMonad.$f1 @ e_aGg;
return_aGm :: forall a_awE. a_awE -> WrapIOMonad.WrapIO e_aGg a_awE
[]
return_aGm = GHC.Base.return @ (WrapIOMonad.WrapIO e_aGg) $dMonad_aGv;
} in f1_aGh
end Rec }
*** End of Offense ***
<no location info>:
Compilation had errors
G:\ghcError>