#7372: Lint failure in GHC 7.6.1
---------------------------------+------------------------------------------
Reporter: simonpj | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 7.8.1
Component: Compiler | Version: 7.6.1
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
José Romildo Malaquias reports that the attached file makes GHC 7.6.1 give
a Lint error:
{{{
bash-3.1$ c:/fp/ghc-7.6.1/bin/ghc -c applicative-eval.hs -dcore-lint
-fforce-recomp
*** Core Lint errors : in result of Desugar (after optimization) ***
<no location info>: Warning:
In a case alternative: (Main.Cte i_ayo :: GHC.Integer.Type.Integer)
Type of case alternatives not the same as the annotation on case:
Main.Memory -> GHC.Integer.Type.Integer
(->) Main.Memory GHC.Integer.Type.Integer
Control.Applicative.pure
@ ((->) Main.Memory)
$dApplicative_a1b4
@ GHC.Integer.Type.Integer
i_ayo
*** Offending Program ***
....
}}}
However HEAD compiles it just fine.
Sjoerd Visser found that you can avoid the error by replacing
{{{
eval :: Exp -> (->) Memory Integer
}}}
with
{{{
eval :: Exp -> Memory -> Integer
}}}
which should be the same, but apparently isn't internally in GHC.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7372>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
