ghc-7.10.1 panics when compiling singletons-1.1.2.1
Not sure if this has been fixed in newer versions or not, but:
[39 of 45] Compiling Data.Singletons.Prelude.List ( src/Data/Singletons/Prelude/List.hs, dist/build/Data/Singletons/Prelude/List.o )
ghc: panic! (the 'impossible' happened)
(GHC version 7.10.1 for x86_64-apple-darwin):
Template variable unbound in rewrite rule
n_X2iZh
[a_a2gBn, t_a2gBo, n_a2iB7, ipv_s2szc, ipv_s2szd, sc_s2tXD,
sc_s2tXF, sc_s2tXG, sg_s2tXH]
[a_X2gZv, t_X2gZx, n_X2iZh, ipv_X2sXn, ipv_X2sXp, sc_X2ulQ,
sc_X2ulT, sc_X2ulV, sg_X2ulX]
[TYPE a_a2gBn, TYPE t_a2gBo,
TYPE Let1627878522XsSym4 t_a2gBo n_a2iB7 ipv_s2szc ipv_s2szd,
sc_s2tXD,
(SCons
@ a_a2gBn
@ (ipv_s2szc : ipv_s2szd)
@ ipv_s2szc
@ ipv_s2szd
@~ <ipv_s2szc : ipv_s2szd>_N
sc_s2tXF
sc_s2tXG)
`cast` (sg_s2tXH
:: R:Sing[]z (ipv_s2szc : ipv_s2szd)
~R# Sing (Apply (Apply (:$) ipv_s2szc) ipv_s2szd))]
[TYPE a_a2gBn, TYPE t_a2gBo,
TYPE Let1627878522XsSym4 t_a2gBo ipv_s2szc ipv_X2sQZ ipv_X2sR1,
sc_s2tXD,
(SCons
@ a_a2gBn
@ (ipv_X2sQZ : ipv_X2sR1)
@ ipv_X2sQZ
@ ipv_X2sR1
@~ <ipv_X2sQZ : ipv_X2sR1>_N
ipv_s2szf
ipv_s2szg)
`cast` (Sub (Sym (TFCo:R:Sing[]z[0] <a_a2gBn>_N)) (Sym
(TFCo:R:Apply[][]:$$l0[0]
<a_a2gBn>_N <ipv_X2sR1>_N <ipv_X2sQZ>_N)
; (Apply
(Sym
(TFCo:R:Apply(->)k:$l0[0]
<a_a2gBn>_N <ipv_X2sQZ>_N))
<ipv_X2sR1>_N)_N)
:: R:Sing[]z (ipv_X2sQZ :$$$ ipv_X2sR1)
~R# Sing (Apply (Apply (:$) ipv_X2sQZ) ipv_X2sR1))]
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
Trac metadata
Trac field | Value |
---|---|
Version | 7.10.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |