#7124: polykinds tests failing
---------------------------------+------------------------------------------
Reporter: pcapriotti | Owner: simonpj
Type: bug | Status: new
Priority: highest | Milestone: 7.6.1
Component: Compiler | Version: 7.4.2
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: Compile-time crash
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Changes (by igloo):
* owner: => simonpj
* priority: high => highest
Comment:
Here's one of them:
{{{
=====> PolyKinds13(hpc) 808 of 3391 [0, 0, 0]
cd ./polykinds && '/home/ian/ghc/7.6-branch/ghc/inplace/bin/ghc-stage2'
-fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-
db -rtsopts -fno-ghci-history -c PolyKinds13.hs -O -fhpc
>PolyKinds13.comp.stderr 2>&1
Compile failed (status 256) errors were:
*** Core Lint errors : in result of Float out(FOS {Lam = Just 0,
Consts = True,
PAPs = False}) ***
{-# LINE 9 "PolyKinds13.hs #-}: Warning:
[in body of lambda with binder a_ajh :: k_aka]
@ (k_aka :: BOX) is out of scope
*** Offending Program ***
PolyKinds13.$dmmyTypeOf
:: forall (k_ajD :: BOX) (t_aiK :: k_ajD).
PolyKinds13.MyTypeable k_ajD t_aiK =>
PolyKinds13.Proxy k_ajD t_aiK -> PolyKinds13.TypeRep
[LclIdX,
Arity=2,
Unf=Unf{Src=Compulsory, TopLvl=True, Arity=0, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=True)
Tmpl= \ (@ (k_ajD :: BOX)) (@ (t_aiK :: k_ajD)) _ _ ->
tick<main:PolyKinds13,1>
tick<main:PolyKinds13,0> PolyKinds13.TypeRep}]
PolyKinds13.$dmmyTypeOf =
\ (@ (k_ajD :: BOX)) (@ (t_aiK :: k_ajD)) _ _ ->
tick<main:PolyKinds13,1>
tick<main:PolyKinds13,0> PolyKinds13.TypeRep
lvl_sn2
:: forall b_al3.
(GHC.Types.Char -> b_al3 -> b_al3) -> b_al3 -> b_al3
[LclId]
lvl_sn2 =
\ (@ b_al3) -> GHC.CString.unpackFoldrCString# @ b_al3 "Proxy"
lvl_sn3 :: [GHC.Types.Char]
[LclId]
lvl_sn3 = GHC.Base.build @ GHC.Types.Char lvl_sn2
$cshow_akL
:: forall (k_aka :: BOX) (a_ajh :: k_aka).
PolyKinds13.Proxy k_aka a_ajh -> GHC.Base.String
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=1, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=IF_ARGS [0] 50 40}]
$cshow_akL =
\ (@ (k_aka :: BOX)) (@ (a_ajh :: k_aka)) _ ->
tick<main:PolyKinds13,5> tick<main:PolyKinds13,4> lvl_sn3
$cshowsPrec_akI
:: forall (k_aka :: BOX) (a_ajh :: k_aka).
GHC.Types.Int -> PolyKinds13.Proxy k_aka a_ajh -> GHC.Show.ShowS
[LclId,
Arity=3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=3, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=IF_ARGS [0 0 0] 80 40}]
$cshowsPrec_akI =
\ (@ (k_aka :: BOX))
(@ (a_ajh :: k_aka))
_
(x_alG :: PolyKinds13.Proxy k_aka a_ajh)
(s_alH :: GHC.Base.String) ->
GHC.Base.augment
@ GHC.Types.Char
(\ (@ b_alK)
(c_alL [Lbv=OneShot] :: GHC.Types.Char -> b_alK -> b_alK)
(n_alM [Lbv=OneShot] :: b_alK) ->
GHC.Base.foldr
@ GHC.Types.Char
@ b_alK
c_alL
n_alM
($cshow_akL @ k_aka @ a_ajh x_alG))
s_alH
Rec {
PolyKinds13.$fShowProxy [InlPrag=[ALWAYS] CONLIKE]
:: forall (k_aka :: BOX) (a_ajh :: k_aka).
GHC.Show.Show (PolyKinds13.Proxy k_aka a_ajh)
[LclIdX[DFunId],
Unf=DFun(arity=2) GHC.Show.D:Show [{$cshowsPrec_akI}, {$cshow_akL},
{$cshowList_akP}]]
PolyKinds13.$fShowProxy =
\ (@ (k_aka :: BOX)) (@ (a_ajh :: k_aka)) ->
GHC.Show.D:Show
@ (PolyKinds13.Proxy k_aka a_ajh)
($cshowsPrec_akI @ k_aka @ a_ajh)
($cshow_akL @ k_aka @ a_ajh)
($cshowList_akP @ k_aka @ a_ajh)
lvl_sn4
:: forall (a_ajh :: k_aka) (k_aka :: BOX).
PolyKinds13.Proxy k_aka a_ajh -> GHC.Show.ShowS
[LclId]
lvl_sn4 =
\ (@ (a_ajh :: k_aka)) (@ (k_aka :: BOX)) ->
GHC.Show.shows
@ (PolyKinds13.Proxy k_aka a_ajh)
(PolyKinds13.$fShowProxy @ k_aka @ a_ajh)
$cshowList_akP [Occ=LoopBreaker]
:: forall (k_aka :: BOX) (a_ajh :: k_aka).
[PolyKinds13.Proxy k_aka a_ajh] -> GHC.Show.ShowS
[LclId,
Arity=2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=2, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=IF_ARGS [0 0] 60 0}]
$cshowList_akP =
\ (@ (k_aka :: BOX))
(@ (a_ajh :: k_aka))
(ls_alc :: [PolyKinds13.Proxy k_aka a_ajh])
(s_ald :: GHC.Base.String) ->
GHC.Show.showList__
@ (PolyKinds13.Proxy k_aka a_ajh)
(lvl_sn4 @ a_ajh @ k_aka)
ls_alc
s_ald
end Rec }
lvl_sn5 :: forall b_b. PolyKinds13.Proxy * b_b
[LclId]
lvl_sn5 =
\ (@ b_b) -> (tick<main:PolyKinds13,2> PolyKinds13.Proxy) @ * @ b_b
$cfmap_akt
:: forall a_akv b_akw.
(a_akv -> b_akw)
-> PolyKinds13.Proxy * a_akv -> PolyKinds13.Proxy * b_akw
[LclId,
Arity=2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=2, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=True)}]
$cfmap_akt =
\ (@ a_a) (@ b_b) _ (ds_dkX :: PolyKinds13.Proxy * a_a) ->
tick<main:PolyKinds13,3>
case ds_dkX of _ { PolyKinds13.Proxy -> lvl_sn5 @ b_b }
$c<$_akz
:: forall a_akB b_akC.
a_akB -> PolyKinds13.Proxy * b_akC -> PolyKinds13.Proxy * a_akB
[LclId,
Arity=2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=2, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=IF_ARGS [0 0] 50 0}]
$c<$_akz =
\ (@ a_amK)
(@ b_amL)
(x_amN :: a_amK)
(eta_B1 :: PolyKinds13.Proxy * b_amL) ->
$cfmap_akt
@ b_amL @ a_amK (GHC.Base.const @ a_amK @ b_amL x_amN) eta_B1
PolyKinds13.$fFunctorProxy [InlPrag=[ALWAYS] CONLIKE]
:: GHC.Base.Functor (PolyKinds13.Proxy *)
[LclIdX[DFunId],
Unf=DFun(arity=0) GHC.Base.D:Functor [{$cfmap_akt}, {$c<$_akz}]]
PolyKinds13.$fFunctorProxy =
GHC.Base.D:Functor @ (PolyKinds13.Proxy *) $cfmap_akt $c<$_akz
$cmyTypeOf_akq
:: forall (k_ajZ :: BOX).
PolyKinds13.Proxy
((k_ajZ -> *) -> k_ajZ -> *) (PolyKinds13.Apply k_ajZ)
-> PolyKinds13.TypeRep
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=1, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=True)}]
$cmyTypeOf_akq =
\ (@ (k_ajZ :: BOX)) _ ->
tick<main:PolyKinds13,1>
tick<main:PolyKinds13,0> PolyKinds13.TypeRep
PolyKinds13.$fMyTypeable(->)Apply [InlPrag=INLINE (sat-args=0)]
:: forall (k_ajZ :: BOX).
PolyKinds13.MyTypeable
((k_ajZ -> *) -> k_ajZ -> *) (PolyKinds13.Apply k_ajZ)
[LclIdX[DFunId(nt)],
Unf=Unf{Src=InlineStable, TopLvl=True, Arity=0, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=False,boring_ok=True)
Tmpl= $cmyTypeOf_akq
`cast` (forall (k_ajZ :: BOX).
Sym
<(PolyKinds13.NTCo:MyTypeable
<(k_ajZ -> *) -> k_ajZ -> *>
<PolyKinds13.Apply k_ajZ>)>
:: (forall (k_ajZ :: BOX).
PolyKinds13.Proxy
((k_ajZ -> *) -> k_ajZ -> *)
(PolyKinds13.Apply k_ajZ)
-> PolyKinds13.TypeRep)
~#
(forall (k_ajZ :: BOX).
PolyKinds13.MyTypeable
((k_ajZ -> *) -> k_ajZ -> *)
(PolyKinds13.Apply k_ajZ)))}]
PolyKinds13.$fMyTypeable(->)Apply =
$cmyTypeOf_akq
`cast` (forall (k_ajZ :: BOX).
Sym
<(PolyKinds13.NTCo:MyTypeable
<(k_ajZ -> *) -> k_ajZ -> *> <PolyKinds13.Apply k_ajZ>)>
:: (forall (k_ajZ :: BOX).
PolyKinds13.Proxy
((k_ajZ -> *) -> k_ajZ -> *) (PolyKinds13.Apply k_ajZ)
-> PolyKinds13.TypeRep)
~#
(forall (k_ajZ :: BOX).
PolyKinds13.MyTypeable
((k_ajZ -> *) -> k_ajZ -> *) (PolyKinds13.Apply k_ajZ)))
$cmyTypeOf_akm
:: PolyKinds13.Proxy * GHC.Types.Int -> PolyKinds13.TypeRep
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=1, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=True)}]
$cmyTypeOf_akm =
\ _ ->
tick<main:PolyKinds13,1>
tick<main:PolyKinds13,0> PolyKinds13.TypeRep
PolyKinds13.$fMyTypeable*Int [InlPrag=INLINE (sat-args=0)]
:: PolyKinds13.MyTypeable * GHC.Types.Int
[LclIdX[DFunId(nt)],
Unf=Unf{Src=InlineStable, TopLvl=True, Arity=0, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=False,boring_ok=True)
Tmpl= $cmyTypeOf_akm
`cast` (Sym <(PolyKinds13.NTCo:MyTypeable <*>
<GHC.Types.Int>)>
:: (PolyKinds13.Proxy * GHC.Types.Int ->
PolyKinds13.TypeRep)
~#
PolyKinds13.MyTypeable * GHC.Types.Int)}]
PolyKinds13.$fMyTypeable*Int =
$cmyTypeOf_akm
`cast` (Sym <(PolyKinds13.NTCo:MyTypeable <*> <GHC.Types.Int>)>
:: (PolyKinds13.Proxy * GHC.Types.Int -> PolyKinds13.TypeRep)
~#
PolyKinds13.MyTypeable * GHC.Types.Int)
$cmyTypeOf_aki
:: PolyKinds13.Proxy (* -> *) Data.Maybe.Maybe
-> PolyKinds13.TypeRep
[LclId,
Arity=1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=1, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=True)}]
$cmyTypeOf_aki =
\ _ ->
tick<main:PolyKinds13,1>
tick<main:PolyKinds13,0> PolyKinds13.TypeRep
PolyKinds13.$fMyTypeable(->)Maybe [InlPrag=INLINE (sat-args=0)]
:: PolyKinds13.MyTypeable (* -> *) Data.Maybe.Maybe
[LclIdX[DFunId(nt)],
Unf=Unf{Src=InlineStable, TopLvl=True, Arity=0, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=False,boring_ok=True)
Tmpl= $cmyTypeOf_aki
`cast` (Sym
<(PolyKinds13.NTCo:MyTypeable <* -> *>
<Data.Maybe.Maybe>)>
:: (PolyKinds13.Proxy (* -> *) Data.Maybe.Maybe
-> PolyKinds13.TypeRep)
~#
PolyKinds13.MyTypeable (* -> *)
Data.Maybe.Maybe)}]
PolyKinds13.$fMyTypeable(->)Maybe =
$cmyTypeOf_aki
`cast` (Sym
<(PolyKinds13.NTCo:MyTypeable <* -> *> <Data.Maybe.Maybe>)>
:: (PolyKinds13.Proxy (* -> *) Data.Maybe.Maybe
-> PolyKinds13.TypeRep)
~#
PolyKinds13.MyTypeable (* -> *) Data.Maybe.Maybe)
*** End of Offense ***
<no location info>:
Compilation had errors
*** unexpected failure for PolyKinds13(hpc)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7124#comment:2>
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
