"ghc: panic! (the 'impossible' happened)" only when compiled with "-O"
On Debian GNU/Linux x86, GHC 8.0.1 crashes compiling the attached code, but only when "-O1" is given. Without optimization, it compiles fine.
{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE FlexibleContexts #-}
module Main where
import Prelude hiding
(
(.)
, (+)
, (*)
)
import qualified Prelude
main :: IO ()
main = return ()
x :: Int
x = 42
f a b c = (c * (a + b)) == ((c * a) + (c * b))
g = f x x x
newtype Sum a = Sum { getSum :: a }
newtype Product a = Product { getProduct :: a }
type family CatParam t :: *
class Semigroupoid p where
type CatSrc p t :: *
type CatDest p t :: *
type CatT p a b :: *
(.) ::
(
p ~ CatParam catAB,
p ~ CatParam catBC,
p ~ CatParam catAC,
a ~ CatSrc p catAB,
b ~ CatSrc p catBC,
a ~ CatSrc p catAC,
b ~ CatDest p catAB,
c ~ CatDest p catBC,
c ~ CatDest p catAC,
catAB ~ CatT p a b,
catBC ~ CatT p b c,
catAC ~ CatT p a c
) => catBC -> catAB -> catAC
data BasicSumSemigroup (t :: *) :: *
type instance CatParam (Sum Int) = BasicSumSemigroup Int
instance (Num t) => Semigroupoid (BasicSumSemigroup t) where
type CatSrc (BasicSumSemigroup _) _ = ()
type CatDest (BasicSumSemigroup _) _ = ()
type CatT (BasicSumSemigroup t) _ _ = Sum t
(Sum x) . (Sum y) = Sum ((Prelude.+) x y)
data BasicProductSemigroup (t :: *) :: *
type instance CatParam (Product Int) = BasicProductSemigroup Int
instance (Num t) => Semigroupoid (BasicProductSemigroup t) where
type CatSrc (BasicProductSemigroup _) _ = ()
type CatDest (BasicProductSemigroup _) _ = ()
type CatT (BasicProductSemigroup t) _ _ = Product t
(Product x) . (Product y) = Product ((Prelude.*) x y)
type family RingParamFromSum p :: *
type family RingParamFromProduct p :: *
class NearRingWithoutId t where
type SumP t
type ProdP t
type LeftDistrib t origLeftCat rightArg
type RightDistrib t origLeftCat leftArg
(+) ::
(
t ~ RingParamFromSum sumP,
Semigroupoid sumP,
p ~ sumP,
p ~ CatParam catAB,
p ~ CatParam catBC,
p ~ CatParam catAC,
a ~ CatSrc p catAB,
b ~ CatSrc p catBC,
a ~ CatSrc p catAC,
b ~ CatDest p catAB,
c ~ CatDest p catBC,
c ~ CatDest p catAC,
catAB ~ CatT p a b,
catBC ~ CatT p b c,
catAC ~ CatT p a c,
catAB ~ Sum noSumCatAB,
catBC ~ Sum noSumCatBC,
catAC ~ Sum noSumCatAC
) => noSumCatBC -> noSumCatAB -> noSumCatAC
(+) x y = getSum ((Sum x) . (Sum y))
(*) ::
(
t ~ RingParamFromProduct prodP,
Semigroupoid prodP,
p ~ prodP,
p ~ CatParam catAB,
p ~ CatParam catBC,
p ~ CatParam catAC,
a ~ CatSrc p catAB,
b ~ CatSrc p catBC,
a ~ CatSrc p catAC,
b ~ CatDest p catAB,
c ~ CatDest p catBC,
c ~ CatDest p catAC,
catAB ~ CatT p a b,
catBC ~ CatT p b c,
catAC ~ CatT p a c,
catAB ~ Product noProdCatAB,
catBC ~ Product noProdCatBC,
catAC ~ Product noProdCatAC,
sumCatAB ~ Sum noProdCatAB,
sumCatBC ~ Sum noProdCatBC,
sumCatAC ~ Sum noProdCatAC,
ps ~ sumP,
ps ~ CatParam sumCatAB,
ps ~ CatParam sumCatBC,
ps ~ CatParam sumCatAC,
sumABSrc ~ CatSrc p sumCatAB,
sumBCSrc ~ CatSrc p sumCatBC,
sumACSrc ~ CatSrc p sumCatAC,
sumABDest ~ CatDest p sumCatAB,
sumBCDest ~ CatDest p sumCatBC,
sumACDest ~ CatDest p sumCatAC,
sumACSrc ~ LeftDistrib t sumBCSrc noProdCatAB,
sumACSrc ~ RightDistrib t sumACSrc noProdCatBC,
sumACDest ~ LeftDistrib t sumBCDest noProdCatAB,
sumACDest ~ RightDistrib t sumACDest noProdCatBC
) => noProdCatBC -> noProdCatAB -> noProdCatAC
(*) x y = getProduct ((Product x) . (Product y))
data TestInt
type instance RingParamFromSum (BasicSumSemigroup Int) = TestInt
type instance RingParamFromProduct (BasicProductSemigroup Int) = TestInt
instance NearRingWithoutId TestInt where
type SumP TestInt = BasicSumSemigroup Int
type ProdP TestInt = BasicProductSemigroup Int
type LeftDistrib TestInt _ _ = ()
type RightDistrib TestInt _ _ = ()The following error results:
ghc: panic! (the 'impossible' happened)
(GHC version 8.0.1 for x86_64-unknown-linux):
Template variable unbound in rewrite rule
Variable: cobox_s3PM
Rule "SPEC f @ Int @ Int @ Int @ Int @ Int @ Int @ Int"
Rule bndrs: [cobox_s3PM, cobox_s3PN, cobox_s3PO, cobox_s3PP,
cobox_s3PQ, cobox_s3PR, cobox_s3PS, cobox_s3PT, cobox_s3PU,
cobox_s3PV, cobox_s3PW, cobox_s3PX, cobox_s3PY, cobox_s3PZ,
cobox_s3Q0, cobox_s3Q1, cobox_s3Q2, cobox_s3Q3, cobox_s3Q4,
cobox_s3Q5, cobox_s3Q6, cobox_s3Q7, cobox_s3Q8, cobox_s3Q9,
cobox_s3Qa, cobox_s3Qb, cobox_s3Qc, cobox_s3Qd, cobox_s3Qe,
cobox_s3Qf, cobox_s3Qg, cobox_s3Qh, cobox_s3Qi, cobox_s3Qj,
cobox_s3Qk, cobox_s3Ql, cobox_s3Qm, cobox_s3Qn, cobox_s3Qo,
cobox_s3Qp, cobox_s3Qq, cobox_s3Qr, cobox_s3Qs, cobox_s3Qt,
cobox_s3Qu, cobox_s3Qv, cobox_s3Qw, cobox_s3Qx, cobox_s3Qy,
cobox_s3Qz, cobox_s3QA, cobox_s3QB, $dSemigroupoid_X3SC,
$dSemigroupoid_X3SE, $dNearRingWithoutId_s3QE,
$dNearRingWithoutId_s3QF, $dEq_s3QG]
LHS args: [TYPE: Int, TYPE: Int, TYPE: Int, TYPE: Int, TYPE: Int,
TYPE: Int, TYPE: Int,
CO: <CatDest (CatParam (Product Int)) (Product Int)>_N,
CO: <CatDest (CatParam (Sum Int)) (Sum Int)>_N,
CO: <CatDest (CatParam (Product Int)) (Product Int)>_N,
CO: cobox_s3PP, CO: cobox_s3PQ, CO: cobox_s3PR, CO: cobox_s3PS,
CO: cobox_s3PT, CO: cobox_s3PU, CO: cobox_s3PV, CO: cobox_s3PW,
CO: cobox_s3PX, CO: cobox_s3PY,
CO: <CatDest (CatParam (Product Int)) (Product Int)>_N,
CO: cobox_s3Q0, CO: <CatParam (Product Int)>_N, CO: cobox_s3Q2,
CO: <CatDest (CatParam (Product Int)) (Product Int)>_N,
CO: <CatSrc (CatParam (Product Int)) (Product Int)>_N,
CO: <CatParam (Product Int)>_N, CO: cobox_s3Q6, CO: cobox_s3Q7,
CO: cobox_s3Q8, CO: cobox_s3Q9, CO: cobox_s3Qa, CO: cobox_s3Qb,
CO: cobox_s3Qc, CO: cobox_s3Qd, CO: cobox_s3Qe,
CO: <CatParam (Product Int)>_N, CO: cobox_s3Qg,
CO: <CatSrc (CatParam (Product Int)) (Product Int)>_N,
CO: <CatParam (Product Int)>_N, CO: <CatParam (Sum Int)>_N,
CO: cobox_s3Qk, CO: cobox_s3Ql, CO: cobox_s3Qm,
CO: <CatDest (CatParam (Sum Int)) (Sum Int)>_N,
CO: <CatSrc (CatParam (Sum Int)) (Sum Int)>_N,
CO: <CatParam (Sum Int)>_N, CO: <CatParam (Sum Int)>_N,
CO: <CatParam (Sum Int)>_N, CO: cobox_s3Qs,
CO: <CatParam (Sum Int)>_N, CO: cobox_s3Qu,
CO: <CatSrc (CatParam (Sum Int)) (Sum Int)>_N,
CO: <CatParam (Sum Int)>_N,
CO: <CatDest (CatParam (Product Int)) (Product Int)>_N,
CO: <CatParam (Product Int)>_N, CO: cobox_s3Qz,
CO: <CatSrc (CatParam (Product Int)) (Product Int)>_N,
CO: <CatParam (Product Int)>_N, $dSemigroupoid_X3SC,
$dSemigroupoid_X3SE, $dNearRingWithoutId_s3QE,
$dNearRingWithoutId_s3QF, $dEq_s3QG]
Actual args: [TYPE: Int, TYPE: Int, TYPE: Int, TYPE: Int,
TYPE: Int, TYPE: Int, TYPE: Int,
CO: <CatDest (CatParam (Product Int)) (Product Int)>_N,
CO: <CatDest (CatParam (Sum Int)) (Sum Int)>_N,
CO: <CatDest (CatParam (Product Int)) (Product Int)>_N,
CO: (CatT
D:R:CatParamProduct[0]
((CatSrc D:R:CatParamProduct[0] <Product Int>_N)_N
; D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Product Int>_N)
((CatDest D:R:CatParamProduct[0] <Product Int>_N)_N
; D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Product Int>_N))_N
; D:R:CatTBasicProductSemigroup__1[0] <Int>_N <()>_N <()>_N,
CO: (CatT
D:R:CatParamProduct[0]
((CatSrc D:R:CatParamProduct[0] <Product Int>_N)_N
; D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Product Int>_N)
((CatDest D:R:CatParamProduct[0] <Product Int>_N)_N
; D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Product Int>_N))_N
; D:R:CatTBasicProductSemigroup__1[0] <Int>_N <()>_N <()>_N,
CO: (CatT
D:R:CatParamSum[0]
((CatSrc D:R:CatParamSum[0] <Sum Int>_N)_N
; D:R:CatSrcBasicSumSemigroup_1[0] <Int>_N <Sum Int>_N)
((CatDest D:R:CatParamSum[0] <Sum Int>_N)_N
; D:R:CatDestBasicSumSemigroup_1[0] <Int>_N <Sum Int>_N))_N
; D:R:CatTBasicSumSemigroup__1[0] <Int>_N <()>_N <()>_N,
CO: (CatT
D:R:CatParamSum[0]
((CatSrc D:R:CatParamSum[0] <Sum Int>_N)_N
; D:R:CatSrcBasicSumSemigroup_1[0] <Int>_N <Sum Int>_N)
((CatDest D:R:CatParamSum[0] <Sum Int>_N)_N
; D:R:CatDestBasicSumSemigroup_1[0] <Int>_N <Sum Int>_N))_N
; D:R:CatTBasicSumSemigroup__1[0] <Int>_N <()>_N <()>_N,
CO: (CatT
D:R:CatParamProduct[0]
((CatSrc D:R:CatParamProduct[0] <Product Int>_N)_N
; D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Product Int>_N)
((CatDest D:R:CatParamProduct[0] <Product Int>_N)_N
; D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Product Int>_N))_N
; D:R:CatTBasicProductSemigroup__1[0] <Int>_N <()>_N <()>_N,
CO: (CatSrc D:R:CatParamSum[0] <Sum Int>_N)_N
; D:R:CatSrcBasicSumSemigroup_1[0] <Int>_N <Sum Int>_N
; Sym (D:R:CatDestBasicSumSemigroup_1[0] <Int>_N <Sum Int>_N)
; (CatDest (Sym D:R:CatParamSum[0]) <Sum Int>_N)_N,
CO: (RightDistrib
((RingParamFromProduct D:R:CatParamProduct[0])_N
; D:R:RingParamFromProductBasicProductSemigroup[0])
((LeftDistrib
((RingParamFromProduct D:R:CatParamProduct[0])_N
; D:R:RingParamFromProductBasicProductSemigroup[0])
((CatDest D:R:CatParamProduct[0] <Sum Int>_N)_N
; D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
<Int>_N)_N
; D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
<Int>_N)_N
; D:R:RightDistribTestInt__1[0] <()>_N <Int>_N
; Sym (D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
; (LeftDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
; (CatDest (Sym D:R:CatParamProduct[0]) <Sum Int>_N)_N)
<Int>_N)_N,
CO: (CatDest D:R:CatParamProduct[0] <Sum Int>_N)_N
; D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N
; Sym (D:R:RightDistribTestInt__1[0] <()>_N <Int>_N)
; (RightDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
; (LeftDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
; (CatDest (Sym D:R:CatParamProduct[0]) <Sum Int>_N)_N)
<Int>_N)_N)
<Int>_N)_N,
CO: (RightDistrib
((RingParamFromProduct D:R:CatParamProduct[0])_N
; D:R:RingParamFromProductBasicProductSemigroup[0])
((LeftDistrib
((RingParamFromProduct D:R:CatParamProduct[0])_N
; D:R:RingParamFromProductBasicProductSemigroup[0])
((CatSrc D:R:CatParamProduct[0] <Sum Int>_N)_N
; D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
<Int>_N)_N
; D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
<Int>_N)_N
; D:R:RightDistribTestInt__1[0] <()>_N <Int>_N
; Sym (D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
; (LeftDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
; (CatSrc (Sym D:R:CatParamProduct[0]) <Sum Int>_N)_N)
<Int>_N)_N,
CO: (CatSrc D:R:CatParamProduct[0] <Sum Int>_N)_N
; D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N
; Sym (D:R:RightDistribTestInt__1[0] <()>_N <Int>_N)
; (RightDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
; (LeftDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
; (CatSrc (Sym D:R:CatParamProduct[0]) <Sum Int>_N)_N)
<Int>_N)_N)
<Int>_N)_N,
CO: <CatDest (CatParam (Product Int)) (Product Int)>_N,
CO: (CatSrc D:R:CatParamProduct[0] <Product Int>_N)_N
; D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Product Int>_N
; Sym
(D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Product Int>_N)
; (CatDest (Sym D:R:CatParamProduct[0]) <Product Int>_N)_N,
CO: <CatParam (Product Int)>_N,
CO: (CatT
D:R:CatParamProduct[0]
((CatSrc D:R:CatParamProduct[0] <Product Int>_N)_N
; D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Product Int>_N)
((CatDest D:R:CatParamProduct[0] <Product Int>_N)_N
; D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Product Int>_N))_N
; D:R:CatTBasicProductSemigroup__1[0] <Int>_N <()>_N <()>_N,
CO: <CatDest (CatParam (Product Int)) (Product Int)>_N,
CO: <CatSrc (CatParam (Product Int)) (Product Int)>_N,
CO: <CatParam (Product Int)>_N,
CO: (RightDistrib
((RingParamFromProduct D:R:CatParamProduct[0])_N
; D:R:RingParamFromProductBasicProductSemigroup[0])
((LeftDistrib
((RingParamFromProduct D:R:CatParamProduct[0])_N
; D:R:RingParamFromProductBasicProductSemigroup[0])
((CatDest D:R:CatParamProduct[0] <Sum Int>_N)_N
; D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
<Int>_N)_N
; D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
<Int>_N)_N
; D:R:RightDistribTestInt__1[0] <()>_N <Int>_N
; Sym (D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
; (LeftDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
; (CatDest (Sym D:R:CatParamProduct[0]) <Sum Int>_N)_N)
<Int>_N)_N,
CO: (CatDest D:R:CatParamProduct[0] <Sum Int>_N)_N
; D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N
; Sym (D:R:RightDistribTestInt__1[0] <()>_N <Int>_N)
; (RightDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
; (LeftDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
; (CatDest (Sym D:R:CatParamProduct[0]) <Sum Int>_N)_N)
<Int>_N)_N)
<Int>_N)_N,
CO: (RightDistrib
((RingParamFromProduct D:R:CatParamProduct[0])_N
; D:R:RingParamFromProductBasicProductSemigroup[0])
((LeftDistrib
((RingParamFromProduct D:R:CatParamProduct[0])_N
; D:R:RingParamFromProductBasicProductSemigroup[0])
((CatSrc D:R:CatParamProduct[0] <Sum Int>_N)_N
; D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
<Int>_N)_N
; D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
<Int>_N)_N
; D:R:RightDistribTestInt__1[0] <()>_N <Int>_N
; Sym (D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
; (LeftDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
; (CatSrc (Sym D:R:CatParamProduct[0]) <Sum Int>_N)_N)
<Int>_N)_N,
CO: (CatSrc D:R:CatParamProduct[0] <Sum Int>_N)_N
; D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N
; Sym (D:R:RightDistribTestInt__1[0] <()>_N <Int>_N)
; (RightDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
; (LeftDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
; (CatSrc (Sym D:R:CatParamProduct[0]) <Sum Int>_N)_N)
<Int>_N)_N)
<Int>_N)_N,
CO: (RightDistrib
((RingParamFromProduct D:R:CatParamProduct[0])_N
; D:R:RingParamFromProductBasicProductSemigroup[0])
((LeftDistrib
((RingParamFromProduct D:R:CatParamProduct[0])_N
; D:R:RingParamFromProductBasicProductSemigroup[0])
((CatDest D:R:CatParamProduct[0] <Sum Int>_N)_N
; D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
<Int>_N)_N
; D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
<Int>_N)_N
; D:R:RightDistribTestInt__1[0] <()>_N <Int>_N
; Sym (D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
; (LeftDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
; (CatDest (Sym D:R:CatParamProduct[0]) <Sum Int>_N)_N)
<Int>_N)_N,
CO: (CatDest D:R:CatParamProduct[0] <Sum Int>_N)_N
; D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N
; Sym (D:R:RightDistribTestInt__1[0] <()>_N <Int>_N)
; (RightDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
; (LeftDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
; (CatDest (Sym D:R:CatParamProduct[0]) <Sum Int>_N)_N)
<Int>_N)_N)
<Int>_N)_N,
CO: (RightDistrib
((RingParamFromProduct D:R:CatParamProduct[0])_N
; D:R:RingParamFromProductBasicProductSemigroup[0])
((LeftDistrib
((RingParamFromProduct D:R:CatParamProduct[0])_N
; D:R:RingParamFromProductBasicProductSemigroup[0])
((CatSrc D:R:CatParamProduct[0] <Sum Int>_N)_N
; D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
<Int>_N)_N
; D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
<Int>_N)_N
; D:R:RightDistribTestInt__1[0] <()>_N <Int>_N
; Sym (D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
; (LeftDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
; (CatSrc (Sym D:R:CatParamProduct[0]) <Sum Int>_N)_N)
<Int>_N)_N,
CO: (CatSrc D:R:CatParamProduct[0] <Sum Int>_N)_N
; D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N
; Sym (D:R:RightDistribTestInt__1[0] <()>_N <Int>_N)
; (RightDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:LeftDistribTestInt__1[0] <()>_N <Int>_N)
; (LeftDistrib
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N)
(Sym (D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Sum Int>_N)
; (CatSrc (Sym D:R:CatParamProduct[0]) <Sum Int>_N)_N)
<Int>_N)_N)
<Int>_N)_N,
CO: (CatT
D:R:CatParamProduct[0]
((CatDest D:R:CatParamProduct[0] <Product Int>_N)_N
; D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Product Int>_N)
((CatDest D:R:CatParamProduct[0] <Product Int>_N)_N
; D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Product Int>_N))_N
; D:R:CatTBasicProductSemigroup__1[0] <Int>_N <()>_N <()>_N,
CO: <CatParam (Product Int)>_N,
CO: (CatT
D:R:CatParamProduct[0]
((CatSrc D:R:CatParamProduct[0] <Product Int>_N)_N
; D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Product Int>_N)
((CatDest D:R:CatParamProduct[0] <Product Int>_N)_N
; D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Product Int>_N))_N
; D:R:CatTBasicProductSemigroup__1[0] <Int>_N <()>_N <()>_N,
CO: <CatSrc (CatParam (Product Int)) (Product Int)>_N,
CO: <CatParam (Product Int)>_N, CO: <CatParam (Sum Int)>_N,
CO: (CatT
D:R:CatParamSum[0]
((CatDest D:R:CatParamSum[0] <Sum Int>_N)_N
; D:R:CatDestBasicSumSemigroup_1[0] <Int>_N <Sum Int>_N)
((CatDest D:R:CatParamSum[0] <Sum Int>_N)_N
; D:R:CatDestBasicSumSemigroup_1[0] <Int>_N <Sum Int>_N))_N
; D:R:CatTBasicSumSemigroup__1[0] <Int>_N <()>_N <()>_N,
CO: (CatSrc D:R:CatParamSum[0] <Sum Int>_N)_N
; D:R:CatSrcBasicSumSemigroup_1[0] <Int>_N <Sum Int>_N
; Sym (D:R:CatDestBasicSumSemigroup_1[0] <Int>_N <Sum Int>_N)
; (CatDest (Sym D:R:CatParamSum[0]) <Sum Int>_N)_N,
CO: (CatT
D:R:CatParamSum[0]
((CatSrc D:R:CatParamSum[0] <Sum Int>_N)_N
; D:R:CatSrcBasicSumSemigroup_1[0] <Int>_N <Sum Int>_N)
((CatDest D:R:CatParamSum[0] <Sum Int>_N)_N
; D:R:CatDestBasicSumSemigroup_1[0] <Int>_N <Sum Int>_N))_N
; D:R:CatTBasicSumSemigroup__1[0] <Int>_N <()>_N <()>_N,
CO: <CatDest (CatParam (Sum Int)) (Sum Int)>_N,
CO: <CatSrc (CatParam (Sum Int)) (Sum Int)>_N,
CO: <CatParam (Sum Int)>_N, CO: <CatParam (Sum Int)>_N,
CO: <CatParam (Sum Int)>_N,
CO: (CatT
D:R:CatParamSum[0]
((CatDest D:R:CatParamSum[0] <Sum Int>_N)_N
; D:R:CatDestBasicSumSemigroup_1[0] <Int>_N <Sum Int>_N)
((CatDest D:R:CatParamSum[0] <Sum Int>_N)_N
; D:R:CatDestBasicSumSemigroup_1[0] <Int>_N <Sum Int>_N))_N
; D:R:CatTBasicSumSemigroup__1[0] <Int>_N <()>_N <()>_N,
CO: <CatParam (Sum Int)>_N,
CO: (CatT
D:R:CatParamSum[0]
((CatSrc D:R:CatParamSum[0] <Sum Int>_N)_N
; D:R:CatSrcBasicSumSemigroup_1[0] <Int>_N <Sum Int>_N)
((CatDest D:R:CatParamSum[0] <Sum Int>_N)_N
; D:R:CatDestBasicSumSemigroup_1[0] <Int>_N <Sum Int>_N))_N
; D:R:CatTBasicSumSemigroup__1[0] <Int>_N <()>_N <()>_N,
CO: <CatSrc (CatParam (Sum Int)) (Sum Int)>_N,
CO: <CatParam (Sum Int)>_N,
CO: <CatDest (CatParam (Product Int)) (Product Int)>_N,
CO: <CatParam (Product Int)>_N,
CO: (CatT
D:R:CatParamProduct[0]
((CatSrc D:R:CatParamProduct[0] <Product Int>_N)_N
; D:R:CatSrcBasicProductSemigroup_1[0] <Int>_N <Product Int>_N)
((CatDest D:R:CatParamProduct[0] <Product Int>_N)_N
; D:R:CatDestBasicProductSemigroup_1[0] <Int>_N <Product Int>_N))_N
; D:R:CatTBasicProductSemigroup__1[0] <Int>_N <()>_N <()>_N,
CO: <CatSrc (CatParam (Product Int)) (Product Int)>_N,
CO: <CatParam (Product Int)>_N,
($c._a32V @ Int $fNumInt)
`cast` (Sym (N:Semigroupoid[0] <BasicSumSemigroup Int>_N)
; (Semigroupoid (Sym D:R:CatParamSum[0]))_R
:: ((forall catAB_awI[sk] catBC_awJ[sk] catAC_awK[sk] a_awL[sk] b_awM[sk] c_awN[sk].
((BasicSumSemigroup Int :: *) ~ (CatParam catAB_awI[sk] :: *),
(BasicSumSemigroup Int :: *) ~ (CatParam catBC_awJ[sk] :: *),
(BasicSumSemigroup Int :: *) ~ (CatParam catAC_awK[sk] :: *),
(a_awL[sk] :: *)
~
(CatSrc (BasicSumSemigroup Int) catAB_awI[sk] :: *),
(b_awM[sk] :: *)
~
(CatSrc (BasicSumSemigroup Int) catBC_awJ[sk] :: *),
(a_awL[sk] :: *)
~
(CatSrc (BasicSumSemigroup Int) catAC_awK[sk] :: *),
(b_awM[sk] :: *)
~
(CatDest (BasicSumSemigroup Int) catAB_awI[sk] :: *),
(c_awN[sk] :: *)
~
(CatDest (BasicSumSemigroup Int) catBC_awJ[sk] :: *),
(c_awN[sk] :: *)
~
(CatDest (BasicSumSemigroup Int) catAC_awK[sk] :: *),
(catAB_awI[sk] :: *)
~
(CatT (BasicSumSemigroup Int) a_awL[sk] b_awM[sk] :: *),
(catBC_awJ[sk] :: *)
~
(CatT (BasicSumSemigroup Int) b_awM[sk] c_awN[sk] :: *),
(catAC_awK[sk] :: *)
~
(CatT (BasicSumSemigroup Int) a_awL[sk] c_awN[sk] :: *)) =>
catBC_awJ[sk] -> catAB_awI[sk] -> catAC_awK[sk]) :: *)
~R#
(Semigroupoid (CatParam (Sum Int)) :: Constraint)),
($c._a32m @ Int $fNumInt)
`cast` (Sym (N:Semigroupoid[0] <BasicProductSemigroup Int>_N)
; (Semigroupoid (Sym D:R:CatParamProduct[0]))_R
:: ((forall catAB_awI[sk] catBC_awJ[sk] catAC_awK[sk] a_awL[sk] b_awM[sk] c_awN[sk].
((BasicProductSemigroup Int :: *) ~ (CatParam catAB_awI[sk] :: *),
(BasicProductSemigroup Int :: *) ~ (CatParam catBC_awJ[sk] :: *),
(BasicProductSemigroup Int :: *) ~ (CatParam catAC_awK[sk] :: *),
(a_awL[sk] :: *)
~
(CatSrc (BasicProductSemigroup Int) catAB_awI[sk] :: *),
(b_awM[sk] :: *)
~
(CatSrc (BasicProductSemigroup Int) catBC_awJ[sk] :: *),
(a_awL[sk] :: *)
~
(CatSrc (BasicProductSemigroup Int) catAC_awK[sk] :: *),
(b_awM[sk] :: *)
~
(CatDest (BasicProductSemigroup Int) catAB_awI[sk] :: *),
(c_awN[sk] :: *)
~
(CatDest (BasicProductSemigroup Int) catBC_awJ[sk] :: *),
(c_awN[sk] :: *)
~
(CatDest (BasicProductSemigroup Int) catAC_awK[sk] :: *),
(catAB_awI[sk] :: *)
~
(CatT (BasicProductSemigroup Int) a_awL[sk] b_awM[sk] :: *),
(catBC_awJ[sk] :: *)
~
(CatT (BasicProductSemigroup Int) b_awM[sk] c_awN[sk] :: *),
(catAC_awK[sk] :: *)
~
(CatT (BasicProductSemigroup Int) a_awL[sk] c_awN[sk] :: *)) =>
catBC_awJ[sk] -> catAB_awI[sk] -> catAC_awK[sk]) :: *)
~R#
(Semigroupoid (CatParam (Product Int)) :: Constraint)),
$fNearRingWithoutIdTestInt
`cast` ((NearRingWithoutId
(Sym D:R:RingParamFromSumBasicSumSemigroup[0]
; (RingParamFromSum (Sym D:R:CatParamSum[0]))_N))_R
:: (NearRingWithoutId TestInt :: Constraint)
~R#
(NearRingWithoutId
(RingParamFromSum (CatParam (Sum Int))) :: Constraint)),
$fNearRingWithoutIdTestInt
`cast` ((NearRingWithoutId
(Sym D:R:RingParamFromProductBasicProductSemigroup[0]
; (RingParamFromProduct (Sym D:R:CatParamProduct[0]))_N))_R
:: (NearRingWithoutId TestInt :: Constraint)
~R#
(NearRingWithoutId
(RingParamFromProduct (CatParam (Product Int))) :: Constraint)),
$fEqInt, x, x, x]
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabugTrac metadata
| Trac field | Value |
|---|---|
| Version | 8.0.1 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |
Activity
added Tbug Trac import labels
Attached file
ring_bug.hs($1215).Attached file
error.txt(download).I think this is a dup of #12212 (closed). Certianly it works with HEAD; I checked.
The fix for #12212 (closed) has been merged to the 8.0 branch, I think. I have not checked that it works with the 8.0 branch. I'll set status to 'merge' just to invite someone to test that.
Indeed the example compiles fine with b5ec09df.
Trac metadata
Trac field Value Resolution Unresolved → ResolvedFixed changed milestone to %8.0.2
added compiler crash label
added Pnormal label
Please register or sign in to reply