#5777: core lint error with arrow notation and GADTs
---------------------------------+------------------------------------------
Reporter: benmos | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 7.6.2
Component: Compiler | Version: 7.4.2
Keywords: arrows, GADTs | Os: MacOS X
Architecture: Unknown/Multiple | Failure: Compile-time crash
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Changes (by altaic):
* version: 7.4.1-rc1 => 7.4.2
* architecture: x86 => Unknown/Multiple
Comment:
This also happens on GHC 7.4.2 x86_64.
{{{
$ ghc --make Test3.hs
[1 of 1] Compiling Main ( Test3.hs, Test3.o )
ghc: panic! (the 'impossible' happened)
(GHC version 7.4.2 for x86_64-apple-darwin):
cgLookupPanic (probably invalid Core; try -dcore-lint)
( $dArrow{v amL} [lid] :: base:Control.Arrow.Arrow{tc r4n}
ghc-prim:GHC.Prim.(->){(w) tc 3D} )
static binds for:
local binds for:
( main:Main.arrif{v rci} [gid[ClassOp]] :: forall (( f{tv acm} [tv] ::
ghc-prim:GHC.Prim.*{(w) tc 34d}
-> ghc-prim:GHC.Prim.*{(w) tc 34d} ) :: ghc-prim:GHC.Prim.*{(w) tc 34d}
-> ghc-prim:GHC.Prim.*{(w) tc 34d}).
main:Main.ArrowInit{tc rch}
( f{tv acm} [tv] :: ghc-
prim:GHC.Prim.*{(w) tc 34d}
->
ghc-prim:GHC.Prim.*{(w) tc 34d} ) =>
forall ( b{tv acn} [tv] ::
ghc-prim:GHC.Prim.*{(w) tc 34d} ).
( f{tv acm} [tv] :: ghc-
prim:GHC.Prim.*{(w) tc 34d}
-> ghc-
prim:GHC.Prim.*{(w) tc 34d} ) ( b{tv acn} [tv] :: ghc-prim:GHC.Prim.*{(w)
tc 34d} )
-> ghc-
prim:GHC.Tuple.(){(w) tc 40} )
( main:Main.$WBoolVal{v rcH} [gid[DataConWrapper]] ::
main:Main.Value{tc rcj}
ghc-
prim:GHC.Types.Bool{(w) tc 3c} )
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5777#comment:7>
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
