Created
May 10, 2021 21:01
-
-
Save Philonous/39f9d3f3c1f04c3b13cfe65ba8500a56 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- RHS size: {terms: 176, types: 4,182, coercions: 248, joins: 0/0} | |
$wsumRec :: Rec ElField Fields -> Int# | |
$wsumRec | |
= \ (w :: Rec ElField Fields) -> | |
case w of { :& @ r1 @ rs1 co1 x1 xs -> | |
case x1 `cast` <Co:4> of { Field @ s @ t co $dKnownSymbol ds -> | |
case ds `cast` <Co:4> of { I# x -> | |
case xs `cast` <Co:8> of { :& @ r2 @ rs2 co2 x2 xs1 -> | |
case x2 `cast` <Co:4> of | |
{ Field @ s1 @ t1 co3 $dKnownSymbol1 ds1 -> | |
case ds1 `cast` <Co:4> of { I# y -> | |
case xs1 `cast` <Co:8> of { :& @ r3 @ rs3 co4 x3 xs2 -> | |
case x3 `cast` <Co:4> of | |
{ Field @ s2 @ t2 co5 $dKnownSymbol2 ds2 -> | |
case ds2 `cast` <Co:4> of { I# y1 -> | |
case xs2 `cast` <Co:8> of { :& @ r4 @ rs4 co6 x4 xs3 -> | |
case x4 `cast` <Co:4> of | |
{ Field @ s3 @ t3 co7 $dKnownSymbol3 ds3 -> | |
case ds3 `cast` <Co:4> of { I# y2 -> | |
case xs3 `cast` <Co:8> of { :& @ r5 @ rs5 co8 x5 xs4 -> | |
case x5 `cast` <Co:4> of | |
{ Field @ s4 @ t4 co9 $dKnownSymbol4 ds4 -> | |
case ds4 `cast` <Co:4> of { I# y3 -> | |
case xs4 `cast` <Co:8> of { :& @ r6 @ rs6 co10 x6 xs5 -> | |
case x6 `cast` <Co:4> of | |
{ Field @ s5 @ t5 co11 $dKnownSymbol5 ds5 -> | |
case ds5 `cast` <Co:4> of { I# y4 -> | |
case xs5 `cast` <Co:8> of { :& @ r7 @ rs7 co12 x7 xs6 -> | |
case x7 `cast` <Co:4> of | |
{ Field @ s6 @ t6 co13 $dKnownSymbol6 ds6 -> | |
case ds6 `cast` <Co:4> of { I# y5 -> | |
case xs6 `cast` <Co:8> of { :& @ r8 @ rs8 co14 x8 xs7 -> | |
case x8 `cast` <Co:4> of | |
{ Field @ s7 @ t7 co15 $dKnownSymbol7 ds7 -> | |
case ds7 `cast` <Co:4> of { I# y6 -> | |
case xs7 `cast` <Co:8> of { :& @ r9 @ rs9 co16 x9 xs8 -> | |
case x9 `cast` <Co:4> of | |
{ Field @ s8 @ t8 co17 $dKnownSymbol8 ds8 -> | |
case ds8 `cast` <Co:4> of { I# y7 -> | |
case xs8 `cast` <Co:8> of { :& @ r10 @ rs10 co18 x10 xs9 -> | |
case x10 `cast` <Co:4> of | |
{ Field @ s9 @ t9 co19 $dKnownSymbol9 ds9 -> | |
case ds9 `cast` <Co:4> of { I# y8 -> | |
case xs9 `cast` <Co:8> of { :& @ r11 @ rs11 co20 x11 xs10 -> | |
case x11 `cast` <Co:4> of | |
{ Field @ s10 @ t10 co21 $dKnownSymbol10 ds10 -> | |
case ds10 `cast` <Co:4> of { I# y9 -> | |
case xs10 `cast` <Co:8> of { :& @ r12 @ rs12 co22 x12 xs11 -> | |
case x12 `cast` <Co:4> of | |
{ Field @ s11 @ t11 co23 $dKnownSymbol11 ds11 -> | |
case ds11 `cast` <Co:4> of { I# y10 -> | |
case xs11 `cast` <Co:8> of { :& @ r13 @ rs13 co24 x13 xs12 -> | |
case x13 `cast` <Co:4> of | |
{ Field @ s12 @ t12 co25 $dKnownSymbol12 ds12 -> | |
case ds12 `cast` <Co:4> of { I# y11 -> | |
case xs12 `cast` <Co:8> of { :& @ r14 @ rs14 co26 x14 xs13 -> | |
case x14 `cast` <Co:4> of | |
{ Field @ s13 @ t13 co27 $dKnownSymbol13 ds13 -> | |
case ds13 `cast` <Co:4> of { I# y12 -> | |
case xs13 `cast` <Co:8> of { :& @ r15 @ rs15 co28 x15 xs14 -> | |
case x15 `cast` <Co:4> of | |
{ Field @ s14 @ t14 co29 $dKnownSymbol14 ds14 -> | |
case ds14 `cast` <Co:4> of { I# y13 -> | |
case xs14 `cast` <Co:8> of { :& @ r16 @ rs16 co30 x16 xs15 -> | |
case x16 `cast` <Co:4> of | |
{ Field @ s15 @ t15 co31 $dKnownSymbol15 ds15 -> | |
case ds15 `cast` <Co:4> of { I# y14 -> | |
+# | |
(+# | |
(+# | |
(+# | |
(+# | |
(+# | |
(+# | |
(+# (+# (+# (+# (+# (+# (+# (+# x y) y1) y2) y3) y4) y5) y6) y7) | |
y8) | |
y9) | |
y10) | |
y11) | |
y12) | |
y13) | |
y14 | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment