Skip to content

Instantly share code, notes, and snippets.

@soupi soupi/Plate-dump.hs

Last active Jan 31, 2020
Embed
What would you like to do?
Plate dump
[1 of 2] Compiling Transform ( Transform.hs, Transform.o ) [Optimisation flags changed]
==================== Tidy Core ====================
Result size of Tidy Core
= {terms: 353, types: 864, coercions: 374, joins: 0/0}
-- RHS size: {terms: 4, types: 9, coercions: 3, joins: 0/0}
gtransform
gtransform = \ @ a_a1p2 @ struct_a1p3 v_B1 -> v_B1 `cast` <Co:3>
-- RHS size: {terms: 4, types: 7, coercions: 3, joins: 0/0}
transformBi
transformBi = \ @ a_a1oU @ x_a1oV v_B1 -> v_B1 `cast` <Co:3>
-- RHS size: {terms: 4, types: 7, coercions: 3, joins: 0/0}
transformRec
transformRec = \ @ a_a1oY @ x_a1oZ v_B1 -> v_B1 `cast` <Co:3>
-- RHS size: {terms: 5, types: 10, coercions: 0, joins: 0/0}
$fGTransformaU1_$cgtransform
$fGTransformaU1_$cgtransform
= \ @ a_a2wP @ x_a2wT _ ds1_d2zu -> ds1_d2zu
-- RHS size: {terms: 1, types: 0, coercions: 9, joins: 0/0}
$fGTransformaU1
$fGTransformaU1 = $fGTransformaU1_$cgtransform `cast` <Co:9>
-- RHS size: {terms: 5, types: 10, coercions: 0, joins: 0/0}
$fGTransformaV1_$cgtransform
$fGTransformaV1_$cgtransform
= \ @ a_a2wH @ x_a2wL _ x1_a1Tq -> x1_a1Tq
-- RHS size: {terms: 1, types: 0, coercions: 9, joins: 0/0}
$fGTransformaV1
$fGTransformaV1 = $fGTransformaV1_$cgtransform `cast` <Co:9>
-- RHS size: {terms: 20, types: 48, coercions: 6, joins: 0/0}
$fGTransforma:+:_$cgtransform
$fGTransforma:+:_$cgtransform
= \ @ a_a2w8
@ x_a2w9
@ y_a2wa
$dGTransform_a2wb
$dGTransform1_a2wc
@ x1_a2wg
eta_B1
ds_d2zj ->
case ds_d2zj of {
L1 x2_a1Te ->
L1 (($dGTransform_a2wb `cast` <Co:3>) eta_B1 x2_a1Te);
R1 y1_a1Tf ->
R1 (($dGTransform1_a2wc `cast` <Co:3>) eta_B1 y1_a1Tf)
}
-- RHS size: {terms: 1, types: 0, coercions: 29, joins: 0/0}
$fGTransforma:+:
$fGTransforma:+: = $fGTransforma:+:_$cgtransform `cast` <Co:29>
-- RHS size: {terms: 18, types: 43, coercions: 6, joins: 0/0}
$fGTransforma:*:_$cgtransform
$fGTransforma:*:_$cgtransform
= \ @ a_a2vI
@ x_a2vJ
@ y_a2vK
$dGTransform_a2vL
$dGTransform1_a2vM
@ x1_a2vQ
eta_B2
eta1_B1 ->
case eta1_B1 of { :*: x2_a1T8 y1_a1T9 ->
:*:
(($dGTransform_a2vL `cast` <Co:3>) eta_B2 x2_a1T8)
(($dGTransform1_a2vM `cast` <Co:3>) eta_B2 y1_a1T9)
}
-- RHS size: {terms: 1, types: 0, coercions: 29, joins: 0/0}
$fGTransforma:*:
$fGTransforma:*: = $fGTransforma:*:_$cgtransform `cast` <Co:29>
-- RHS size: {terms: 11, types: 23, coercions: 10, joins: 0/0}
$cgtransform_r2yl
$cgtransform_r2yl
= \ @ a_a2vj
@ struct_a2vk
@ _x_a2vl
@ _y_a2vm
$dGTransform_a2vn
@ x_a2vr
eta_B2
eta1_B1 ->
($dGTransform_a2vn `cast` <Co:3>) eta_B2 (eta1_B1 `cast` <Co:7>)
-- RHS size: {terms: 1, types: 0, coercions: 38, joins: 0/0}
$fGTransformaM1_$cgtransform
$fGTransformaM1_$cgtransform = $cgtransform_r2yl `cast` <Co:38>
-- RHS size: {terms: 1, types: 0, coercions: 25, joins: 0/0}
$fGTransformaM1
$fGTransformaM1 = $fGTransformaM1_$cgtransform `cast` <Co:25>
-- RHS size: {terms: 10, types: 16, coercions: 9, joins: 0/0}
$cgtransform1_r2B1
$cgtransform1_r2B1
= \ @ a_a2uV
@ _1_a2uW
$dTransformRec_a2uX
@ x_a2v1
eta_X19
eta1_X2h ->
eta_X19
(($dTransformRec_a2uX `cast` <Co:3>)
eta_X19 (eta1_X2h `cast` <Co:6>))
-- RHS size: {terms: 1, types: 0, coercions: 29, joins: 0/0}
$fGTransformaK10_$cgtransform
$fGTransformaK10_$cgtransform = $cgtransform1_r2B1 `cast` <Co:29>
-- RHS size: {terms: 1, types: 0, coercions: 17, joins: 0/0}
$fGTransformaK10
$fGTransformaK10 = $fGTransformaK10_$cgtransform `cast` <Co:17>
-- RHS size: {terms: 10, types: 18, coercions: 9, joins: 0/0}
$cgtransform2_r2B2
$cgtransform2_r2B2
= \ @ a_a2uB
@ b_a2uC
@ _1_a2uD
$dTransformRec_a2uE
@ x_a2uI
eta_X1j
eta1_X2B ->
($dTransformRec_a2uE `cast` <Co:3>)
eta_X1j (eta1_X2B `cast` <Co:6>)
-- RHS size: {terms: 1, types: 0, coercions: 32, joins: 0/0}
$fGTransformaK1_$cgtransform
$fGTransformaK1_$cgtransform = $cgtransform2_r2B2 `cast` <Co:32>
-- RHS size: {terms: 1, types: 0, coercions: 20, joins: 0/0}
$fGTransformaK1
$fGTransformaK1 = $fGTransformaK1_$cgtransform `cast` <Co:20>
-- RHS size: {terms: 13, types: 21, coercions: 4, joins: 0/0}
$fTransformRecab_$ctransformRec
$fTransformRecab_$ctransformRec
= \ @ b_a2uf
@ a_a2ug
$dGeneric_a2uh
$dGTransform_a2ui
eta_X1s
eta1_X2T ->
to
$dGeneric_a2uh
(($dGTransform_a2ui `cast` <Co:4>)
eta_X1s (from $dGeneric_a2uh eta1_X2T))
-- RHS size: {terms: 1, types: 0, coercions: 18, joins: 0/0}
$fTransformRecab
$fTransformRecab = $fTransformRecab_$ctransformRec `cast` <Co:18>
-- RHS size: {terms: 4, types: 5, coercions: 0, joins: 0/0}
$fTransformRecaInt_$ctransformRec
$fTransformRecaInt_$ctransformRec = \ @ a_a2u8 _ x_a1ST -> x_a1ST
-- RHS size: {terms: 1, types: 0, coercions: 7, joins: 0/0}
$fTransformRecaInt
$fTransformRecaInt
= $fTransformRecaInt_$ctransformRec `cast` <Co:7>
-- RHS size: {terms: 13, types: 19, coercions: 4, joins: 0/0}
$fTransformBixx_$ctransformBi
$fTransformBixx_$ctransformBi
= \ @ x_a2tN $dGeneric_a2tO $dGTransform_a2tP eta_X1v eta1_X2Z ->
eta_X1v
(to
$dGeneric_a2tO
(($dGTransform_a2tP `cast` <Co:4>)
eta_X1v (from $dGeneric_a2tO eta1_X2Z)))
-- RHS size: {terms: 1, types: 0, coercions: 15, joins: 0/0}
$fTransformBixx
$fTransformBixx = $fTransformBixx_$ctransformBi `cast` <Co:15>
-- RHS size: {terms: 14, types: 24, coercions: 4, joins: 0/0}
$dmtransformBi
$dmtransformBi
= \ @ a_a1oU
@ x_a1oV
_
$dGeneric_a2ti
$dGTransform_a2tj
f_a1oW
x1_a1oX ->
to
$dGeneric_a2ti
(($dGTransform_a2tj `cast` <Co:4>)
f_a1oW (from $dGeneric_a2ti x1_a1oX))
-- RHS size: {terms: 13, types: 21, coercions: 4, joins: 0/0}
$fTransformBiax_$ctransformBi
$fTransformBiax_$ctransformBi
= \ @ x_a2ty
@ a_a2tz
$dGeneric_a2tA
$dGTransform_a2tB
eta_X1A
eta1_X39 ->
to
$dGeneric_a2tA
(($dGTransform_a2tB `cast` <Co:4>)
eta_X1A (from $dGeneric_a2tA eta1_X39))
-- RHS size: {terms: 1, types: 0, coercions: 18, joins: 0/0}
$fTransformBiax
$fTransformBiax = $fTransformBiax_$ctransformBi `cast` <Co:18>
-- RHS size: {terms: 14, types: 24, coercions: 4, joins: 0/0}
$dmtransformRec
$dmtransformRec
= \ @ a_a1oY
@ x_a1oZ
_
$dGeneric_a2sX
$dGTransform_a2sY
f_a1p0
x1_a1p1 ->
to
$dGeneric_a2sX
(($dGTransform_a2sY `cast` <Co:4>)
f_a1p0 (from $dGeneric_a2sX x1_a1p1))
-- RHS size: {terms: 3, types: 5, coercions: 0, joins: 0/0}
transform1_r2B3
transform1_r2B3
= \ @ a_a2sM $dTransformBi_a2sO -> $dTransformBi_a2sO
-- RHS size: {terms: 1, types: 0, coercions: 10, joins: 0/0}
transform
transform = transform1_r2B3 `cast` <Co:10>
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$trModule4
$trModule4 = "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$trModule3
$trModule3 = TrNameS $trModule4
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$trModule2
$trModule2 = "Transform"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$trModule1
$trModule1 = TrNameS $trModule2
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$trModule
$trModule = Module $trModule3 $trModule1
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
$krep_r2B4
$krep_r2B4 = KindRepTyConApp $tcConstraint []
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$krep1_r2B5
$krep1_r2B5 = KindRepFun krep$* $krep_r2B4
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$tcTransformBi1
$tcTransformBi1 = KindRepFun krep$* $krep1_r2B5
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$krep2_r2B6
$krep2_r2B6 = KindRepFun krep$*Arr* $krep_r2B4
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$tcGTransform1
$tcGTransform1 = KindRepFun krep$* $krep2_r2B6
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$krep3_r2B7
$krep3_r2B7 = KindRepVar 1#
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$krep4_r2B8
$krep4_r2B8 = KindRepFun $krep3_r2B7 $krep3_r2B7
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$krep5_r2B9
$krep5_r2B9 = KindRepVar 0#
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$krep6_r2Ba
$krep6_r2Ba = KindRepFun $krep5_r2B9 $krep5_r2B9
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$krep7_r2Bb
$krep7_r2Bb = KindRepFun $krep6_r2Ba $krep4_r2B8
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tcGTransform3
$tcGTransform3 = "GTransform"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tcGTransform2
$tcGTransform2 = TrNameS $tcGTransform3
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tcGTransform
$tcGTransform
= TyCon
18223861616190018618##
5784081840464734388##
$trModule
$tcGTransform2
0#
$tcGTransform1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tcTransformRec2
$tcTransformRec2 = "TransformRec"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tcTransformRec1
$tcTransformRec1 = TrNameS $tcTransformRec2
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tcTransformRec
$tcTransformRec
= TyCon
5837674720315456291##
9054258452144006960##
$trModule
$tcTransformRec1
0#
$tcTransformBi1
-- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0}
$krep8_r2Bc
$krep8_r2Bc = : $krep3_r2B7 []
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
$krep9_r2Bd
$krep9_r2Bd = : $krep5_r2B9 $krep8_r2Bc
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$krep10_r2Be
$krep10_r2Be = KindRepTyConApp $tcTransformRec $krep9_r2Bd
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$tc'C:TransformRec1
$tc'C:TransformRec1 = KindRepFun $krep7_r2Bb $krep10_r2Be
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'C:TransformRec3
$tc'C:TransformRec3 = "'C:TransformRec"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tc'C:TransformRec2
$tc'C:TransformRec2 = TrNameS $tc'C:TransformRec3
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tc'C:TransformRec
$tc'C:TransformRec
= TyCon
4955051758031584061##
17511181468199869489##
$trModule
$tc'C:TransformRec2
2#
$tc'C:TransformRec1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tcTransformBi3
$tcTransformBi3 = "TransformBi"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tcTransformBi2
$tcTransformBi2 = TrNameS $tcTransformBi3
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tcTransformBi
$tcTransformBi
= TyCon
11871789999325947604##
7355603391471024635##
$trModule
$tcTransformBi2
0#
$tcTransformBi1
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$krep11_r2Bf
$krep11_r2Bf = KindRepTyConApp $tcTransformBi $krep9_r2Bd
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$tc'C:TransformBi1
$tc'C:TransformBi1 = KindRepFun $krep7_r2Bb $krep11_r2Bf
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'C:TransformBi3
$tc'C:TransformBi3 = "'C:TransformBi"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tc'C:TransformBi2
$tc'C:TransformBi2 = TrNameS $tc'C:TransformBi3
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tc'C:TransformBi
$tc'C:TransformBi
= TyCon
13676485824907351666##
8910929623244922938##
$trModule
$tc'C:TransformBi2
2#
$tc'C:TransformBi1
[2 of 2] Compiling Main ( Plate.hs, Plate.o ) [Optimisation flags changed]
==================== Tidy Core ====================
Result size of Tidy Core
= {terms: 440, types: 3,788, coercions: 1,686, joins: 2/2}
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'Sub2
$tc'Sub2 = "'Sub"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tc'Sub1
$tc'Sub1 = TrNameS $tc'Sub2
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'Div2
$tc'Div2 = "'Div"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tc'Div1
$tc'Div1 = TrNameS $tc'Div2
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'Mul2
$tc'Mul2 = "'Mul"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tc'Mul1
$tc'Mul1 = TrNameS $tc'Mul2
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'Add3
$tc'Add3 = "'Add"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tc'Add2
$tc'Add2 = TrNameS $tc'Add3
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'Neg3
$tc'Neg3 = "'Neg"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tc'Neg2
$tc'Neg2 = TrNameS $tc'Neg3
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'Lit3
$tc'Lit3 = "'Lit"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tc'Lit2
$tc'Lit2 = TrNameS $tc'Lit3
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tcExpr2
$tcExpr2 = "Expr"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tcExpr1
$tcExpr1 = TrNameS $tcExpr2
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
$krep_r7eF
$krep_r7eF = KindRepTyConApp $tcInt []
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$trModule2
$trModule2 = "Main"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$trModule1
$trModule1 = TrNameS $trModule2
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$trModule4
$trModule4 = "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$trModule3
$trModule3 = TrNameS $trModule4
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$trModule
$trModule = Module $trModule3 $trModule1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tcExpr
$tcExpr
= TyCon
12091566065001353326##
14673633334727774453##
$trModule
$tcExpr1
0#
krep$*
-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
$krep1_r7eG
$krep1_r7eG = KindRepTyConApp $tcExpr []
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$tc'Lit1
$tc'Lit1 = KindRepFun $krep_r7eF $krep1_r7eG
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$tc'Neg1
$tc'Neg1 = KindRepFun $krep1_r7eG $krep1_r7eG
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$tc'Add1
$tc'Add1 = KindRepFun $krep1_r7eG $tc'Neg1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tc'Lit
$tc'Lit
= TyCon
18167568965991756872##
17650254380305224383##
$trModule
$tc'Lit2
0#
$tc'Lit1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tc'Neg
$tc'Neg
= TyCon
7793560789665771617##
16821389539079660119##
$trModule
$tc'Neg2
0#
$tc'Neg1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tc'Add
$tc'Add
= TyCon
10832780695868222026##
16344471105793923761##
$trModule
$tc'Add2
0#
$tc'Add1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tc'Mul
$tc'Mul
= TyCon
14840184544315911395##
10216988503268596648##
$trModule
$tc'Mul1
0#
$tc'Add1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tc'Div
$tc'Div
= TyCon
11645750416555189232##
3813003399367813461##
$trModule
$tc'Div1
0#
$tc'Add1
-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tc'Sub
$tc'Sub
= TyCon
2765520555454642545##
4774318161135844476##
$trModule
$tc'Sub1
0#
$tc'Add1
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
main5
main5 = I# 1#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
main4
main4 = Lit main5
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
main3
main3 = Neg main4
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
main9
main9 = I# 0#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
main8
main8 = Lit main9
-- RHS size: {terms: 130, types: 55, coercions: 0, joins: 2/2}
opts
opts
= \ ds_d5ft ->
case ds_d5ft of wild_Xu {
__DEFAULT -> wild_Xu;
Add ds1_d5jF e_a2Oq ->
case ds1_d5jF of wild1_Xa {
__DEFAULT ->
case e_a2Oq of {
__DEFAULT -> wild_Xu;
Lit ds2_d5jI ->
case ds2_d5jI of { I# ds3_d5jJ ->
case ds3_d5jJ of {
__DEFAULT -> wild_Xu;
0# -> wild1_Xa
}
}
};
Lit ds2_d5jG ->
case ds2_d5jG of { I# ds3_d5jH ->
case ds3_d5jH of {
__DEFAULT ->
case e_a2Oq of {
__DEFAULT -> wild_Xu;
Lit ds5_d5jI ->
case ds5_d5jI of { I# ds6_d5jJ ->
case ds6_d5jJ of {
__DEFAULT -> wild_Xu;
0# -> wild1_Xa
}
}
};
0# -> e_a2Oq
}
}
};
Mul ds1_d5jK e_a2Os ->
join {
fail_s6LD
fail_s6LD _
= join {
fail1_s6LF
fail1_s6LF _
= case ds1_d5jK of {
__DEFAULT ->
case e_a2Os of {
__DEFAULT -> wild_Xu;
Lit ds4_d5jR ->
case ds4_d5jR of { I# ds5_d5jS ->
case ds5_d5jS of {
__DEFAULT -> wild_Xu;
0# -> main8
}
}
};
Lit ds4_d5jP ->
case ds4_d5jP of { I# ds5_d5jQ ->
case ds5_d5jQ of {
__DEFAULT ->
case e_a2Os of {
__DEFAULT -> wild_Xu;
Lit ds7_d5jR ->
case ds7_d5jR of { I# ds8_d5jS ->
case ds8_d5jS of {
__DEFAULT -> wild_Xu;
0# -> main8
}
}
};
0# -> main8
}
}
} } in
case e_a2Os of {
__DEFAULT -> jump fail1_s6LF void#;
Lit ds3_d5jN ->
case ds3_d5jN of { I# ds4_d5jO ->
case ds4_d5jO of {
__DEFAULT -> jump fail1_s6LF void#;
1# -> ds1_d5jK
}
}
} } in
case ds1_d5jK of {
__DEFAULT -> jump fail_s6LD void#;
Lit ds2_d5jL ->
case ds2_d5jL of { I# ds3_d5jM ->
case ds3_d5jM of {
__DEFAULT -> jump fail_s6LD void#;
1# -> e_a2Os
}
}
};
Neg ds1_d5jT ->
case ds1_d5jT of {
__DEFAULT -> wild_Xu;
Neg e_a2Ou -> e_a2Ou
}
}
-- RHS size: {terms: 40, types: 2,087, coercions: 412, joins: 0/0}
$fGenericExpr1
$fGenericExpr1
= \ @ x_a54z x1_a3CA ->
case x1_a3CA of {
Lit g1_a3CB -> L1 (L1 (g1_a3CB `cast` <Co:44>));
Add g1_a3CC g2_a3CD ->
L1
(R1
(L1
((:*: (g1_a3CC `cast` <Co:22>) (g2_a3CD `cast` <Co:22>))
`cast` <Co:37>)));
Mul g1_a3CE g2_a3CF ->
L1
(R1
(R1
((:*: (g1_a3CE `cast` <Co:22>) (g2_a3CF `cast` <Co:22>))
`cast` <Co:37>)));
Div g1_a3CG g2_a3CH ->
R1
(L1
((:*: (g1_a3CG `cast` <Co:22>) (g2_a3CH `cast` <Co:22>))
`cast` <Co:37>));
Sub g1_a3CI g2_a3CJ ->
R1
(R1
(L1
((:*: (g1_a3CI `cast` <Co:22>) (g2_a3CJ `cast` <Co:22>))
`cast` <Co:37>)));
Neg g1_a3CK -> R1 (R1 (R1 (g1_a3CK `cast` <Co:44>)))
}
-- RHS size: {terms: 50, types: 1,251, coercions: 588, joins: 0/0}
$fGenericExpr_$cto
$fGenericExpr_$cto
= \ @ x_a581 ds_d5k8 ->
case ds_d5k8 `cast` <Co:202> of {
L1 ds1_d5ka ->
case ds1_d5ka of {
L1 ds2_d5kb -> Lit (ds2_d5kb `cast` <Co:41>);
R1 ds2_d5ke ->
case ds2_d5ke of {
L1 ds3_d5kf ->
case ds3_d5kf `cast` <Co:36> of { :*: ds4_d5kh ds5_d5ki ->
Add (ds4_d5kh `cast` <Co:20>) (ds5_d5ki `cast` <Co:20>)
};
R1 ds3_d5kl ->
case ds3_d5kl `cast` <Co:36> of { :*: ds4_d5kn ds5_d5ko ->
Mul (ds4_d5kn `cast` <Co:20>) (ds5_d5ko `cast` <Co:20>)
}
}
};
R1 ds1_d5kr ->
case ds1_d5kr of {
L1 ds2_d5ks ->
case ds2_d5ks `cast` <Co:36> of { :*: ds3_d5ku ds4_d5kv ->
Div (ds3_d5ku `cast` <Co:20>) (ds4_d5kv `cast` <Co:20>)
};
R1 ds2_d5ky ->
case ds2_d5ky of {
L1 ds3_d5kz ->
case ds3_d5kz `cast` <Co:36> of { :*: ds4_d5kB ds5_d5kC ->
Sub (ds4_d5kB `cast` <Co:20>) (ds5_d5kC `cast` <Co:20>)
};
R1 ds3_d5kF -> Neg (ds3_d5kF `cast` <Co:41>)
}
}
}
-- RHS size: {terms: 3, types: 1, coercions: 208, joins: 0/0}
$fGenericExpr
$fGenericExpr
= C:Generic ($fGenericExpr1 `cast` <Co:208>) $fGenericExpr_$cto
Rec {
-- RHS size: {terms: 44, types: 32, coercions: 414, joins: 0/0}
$s$fTransformRecab_$ctransformRec
$s$fTransformRecab_$ctransformRec
= \ f_a1SW x_a1SX ->
case x_a1SX of {
Lit g1_a3CB -> Lit g1_a3CB;
Add g1_a3CC g2_a3CD ->
Add
(($s$fGTransforma:+:_$cgtransform1 f_a1SW (g1_a3CC `cast` <Co:24>))
`cast` <Co:22>)
(($s$fGTransforma:+:_$cgtransform1 f_a1SW (g2_a3CD `cast` <Co:24>))
`cast` <Co:22>);
Mul g1_a3CE g2_a3CF ->
Mul
(($s$fGTransforma:+:_$cgtransform1 f_a1SW (g1_a3CE `cast` <Co:24>))
`cast` <Co:22>)
(($s$fGTransforma:+:_$cgtransform1 f_a1SW (g2_a3CF `cast` <Co:24>))
`cast` <Co:22>);
Div g1_a3CG g2_a3CH ->
Div
(($s$fGTransforma:+:_$cgtransform1 f_a1SW (g1_a3CG `cast` <Co:24>))
`cast` <Co:22>)
(($s$fGTransforma:+:_$cgtransform1 f_a1SW (g2_a3CH `cast` <Co:24>))
`cast` <Co:22>);
Sub g1_a3CI g2_a3CJ ->
Sub
(($s$fGTransforma:+:_$cgtransform1 f_a1SW (g1_a3CI `cast` <Co:24>))
`cast` <Co:22>)
(($s$fGTransforma:+:_$cgtransform1 f_a1SW (g2_a3CJ `cast` <Co:24>))
`cast` <Co:22>);
Neg g1_a3CK ->
Neg
(($s$fGTransforma:+:_$cgtransform1 f_a1SW (g1_a3CK `cast` <Co:24>))
`cast` <Co:22>)
}
-- RHS size: {terms: 2, types: 2, coercions: 4, joins: 0/0}
$dGTransform_r7eH
$dGTransform_r7eH
= $fGTransformaK10_$cgtransform
($s$fTransformRecab_$ctransformRec `cast` <Co:4>)
-- RHS size: {terms: 2, types: 13, coercions: 8, joins: 0/0}
$s$fGTransforma:+:_$cgtransform1
$s$fGTransforma:+:_$cgtransform1
= $fGTransformaM1_$cgtransform ($dGTransform_r7eH `cast` <Co:8>)
end Rec }
-- RHS size: {terms: 5, types: 2, coercions: 46, joins: 0/0}
main7
main7
= opts
(Neg
(($s$fGTransforma:+:_$cgtransform1 opts (main3 `cast` <Co:24>))
`cast` <Co:22>))
-- RHS size: {terms: 5, types: 8, coercions: 0, joins: 0/0}
main
main
= \ @ f_a4Ge $dApplicative_a54n -> pure $dApplicative_a54n main7
-- RHS size: {terms: 4, types: 9, coercions: 0, joins: 0/0}
main11
main11 = \ s_X6Qp -> (# s_X6Qp, main7 #)
-- RHS size: {terms: 2, types: 1, coercions: 3, joins: 0/0}
main10
main10 = runMainIO1 (main11 `cast` <Co:3>)
-- RHS size: {terms: 1, types: 0, coercions: 3, joins: 0/0}
main
main = main10 `cast` <Co:3>
------ Local rules for imported ids --------
"SPEC/Main $fTransformRecab_$ctransformRec @ Expr @ Expr"
forall $dGTransform1_s6LI $dGeneric_s6LH.
$fTransformRecab_$ctransformRec $dGeneric_s6LH $dGTransform1_s6LI
= $s$fTransformRecab_$ctransformRec
Linking Plate ...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.