[GHC] #1072: Core Lint Errors: in result of Desugar

[GHC]

#1072: Core Lint Errors: in result of Desugar
-------------------------+--------------------------------------------------
    Reporter:  guest     |       Owner:         
        Type:  bug       |      Status:  new    
    Priority:  normal    |   Milestone:         
   Component:  Compiler  |     Version:  6.6    
    Severity:  normal    |    Keywords:         
  Difficulty:  Unknown   |    Testcase:         
Architecture:  x86       |          Os:  Windows
-------------------------+--------------------------------------------------
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>

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1072>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler