#10763: Failure to build GHC HEAD with 7.8 due to lint error
-------------------------------------+-------------------------------------
Reporter: nomeata | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.10.2
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: None/Unknown
Unknown/Multiple |
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Revisions: |
-------------------------------------+-------------------------------------
I’m trying to build GHC HEAD, but it fails for me:
{{{
~/build/haskell/ghc $ make -j4
===--- building phase 0
make --no-print-directory -f ghc.mk phase=0 phase_0_builds
make[1]: Nothing to be done for 'phase_0_builds'.
===--- building phase 1
make --no-print-directory -f ghc.mk phase=1 phase_1_builds
HC [stage 0] compiler/stage1/build/Coercion.o
ghc: panic! (the 'impossible' happened)
(GHC version 7.8.4 for x86_64-unknown-linux):
Iface Lint failure
In interface for ghc-7.11:CoAxiom
Unfolding of ghc-7.11:CoAxiom.$fTypeableCoAxiom{v ryD}
<no location info>: Warning:
[in an imported unfolding]
Ill-kinded result
in type or kind ‘ghc-7.11:CoAxiom.BranchFlag{tc rgu}
-> ghc-prim:GHC.Prim.*{(w) tc 34d}’
type or kind ‘ghc-7.11:CoAxiom.BranchFlag{tc rgu}
-> ghc-prim:GHC.Prim.*{(w) tc 34d}’ kind: ghc-
prim:GHC.Prim.BOX{(w) tc 347}
<no location info>: Warning:
[in an imported unfolding]
Bad axiom application (check_ki2