#5832: PolyKinds03 and PolyKinds13 fail an ASSERT
---------------------------------+------------------------------------------
Reporter: igloo | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 7.6.1
Component: Compiler | Version: 7.4.1-rc2
Keywords: PolyKinds | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase: PolyKinds03 PolyKinds13
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Comment(by igloo):
Yes; with a regular validate build, on both OS X and Linux amd64, and
{{{
GhcStage2HcOpts += -DDEBUG
}}}
in `mk/validate.mk` I get:
{{{
=====> PolyKinds03(normal) 4 of 13 [0, 0, 0]
cd . && '/home/ian/ghc/git/ghc/inplace/bin/ghc-stage2' -fforce-recomp
-dcore-lint -dcmm-lint -dno-debug-output -no-user-package-conf -rtsopts
-fno-ghci-history -c PolyKinds03.hs >PolyKinds03.comp.stderr 2>&1
Compile failed (status 256) errors were:
ghc-stage2: panic! (the 'impossible' happened)
(GHC version 7.5.20120130 for x86_64-unknown-linux):
ASSERT failed! file compiler/types/Kind.lhs line 254
ghc-prim:GHC.Prim.BOX{(w) tc 347} ghc-prim:GHC.Prim.ArgKind{(w) tc 34p}
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
(incidentally, the validate fails with an assertion failure in the
vectoriser while building the DPH libs, but stage2 is already built by
then)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5832#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
