Skip to content

Instantly share code, notes, and snippets.

@mchav

mchav/Warning.hs

Last active February 3, 2026 16:09
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save mchav/e83b059af0df71d9b8d824cbb23c4f82 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save mchav/e83b059af0df71d9b8d824cbb23c4f82 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Warning.hs
RULE left-hand side too complicated to desugar
Optimised lhs: letrec {
$dCTuple9_aUpZa
:: (Columnable' Double, ColumnifyRep RUnboxed Double,
VUM.Unbox Double, () :: Constraint,
(Real Double, Fractional Double), SBoolI True, SBoolI True,
SBoolI False, SBoolI True)
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False,
Value=True, ConLike=True, WorkFree=True, Expandable=True,
Guidance=IF_ARGS [] 10 10}]
$dCTuple9_aUpZa
= ($dCTuple4_aUpZb, $dColumnifyRep_aUpZc, $dUnbox_aUpZd,
$dCUnit_aUpZe, $dCTuple2_aUpZf, $dSBoolI_aUpZg, $dSBoolI_aUpZh,
$dSBoolI_aUpZi, $dSBoolI_aUpZj);
$dColumnifyRep_aUpZc [Occ=LoopBreaker]
:: ColumnifyRep RUnboxed Double
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False,
Value=False, ConLike=False, WorkFree=False, Expandable=True,
Guidance=IF_ARGS [] 30 0}]
$dColumnifyRep_aUpZc
= DataFrame.Internal.Column.$fColumnifyRepRUnboxeda
@Double
($dCTuple9_aUpZa
`cast` ((ghc-prim:GHC.Classes.CTuple9
<(Typeable Double, Show Double, Eq Double, Read Double)>_N
(ColumnifyRep
(Sym (DataFrame.Internal.Types.D:R:If[0]
<Rep>_N <RBoxed>_N <RUnboxed>_N)
; (If
<Rep>_N
(Sym DataFrame.Internal.Types.D:R:Unboxable[12])
<RUnboxed>_N
<RBoxed>_N)_N
; Sym (DataFrame.Internal.Types.D:R:KindOf[1] <Double>_N))
<Double>_N)_N
(Sym (DataFrame.Internal.Types.D:R:When[0]
<VUM.Unbox Double>_N)
; (When
(Sym DataFrame.Internal.Types.D:R:Unboxable[12])
<VUM.Unbox Double>_N)_N)
(Sym (DataFrame.Internal.Types.D:R:When[1] <Integral Double>_N)
; (When
(Sym (DataFrame.Internal.Types.D:R:IntegralTypes[11]
<Double>_N))
<Integral Double>_N)_N)
(Sym (DataFrame.Internal.Types.D:R:When[0]
<(Real Double, Fractional Double)>_N)
; (When
(Sym DataFrame.Internal.Types.D:R:FloatingTypes[1])
<(Real Double, Fractional Double)>_N)_N)
(SBoolI (Sym DataFrame.Internal.Types.D:R:Unboxable[12]))_N
(SBoolI (Sym DataFrame.Internal.Types.D:R:Numeric[11]))_N
(SBoolI
(Sym (DataFrame.Internal.Types.D:R:IntegralTypes[11]
<Double>_N)))_N
(SBoolI
(Sym DataFrame.Internal.Types.D:R:FloatingTypes[1]))_N)_R
:: Coercible
((Typeable Double, Show Double, Eq Double, Read Double),
ColumnifyRep RUnboxed Double, VUM.Unbox Double,
() :: Constraint, (Real Double, Fractional Double),
SBoolI True, SBoolI True, SBoolI False, SBoolI True)
((Typeable Double, Show Double, Eq Double, Read Double),
ColumnifyRep (KindOf Double) Double,
When (Unboxable Double) (VUM.Unbox Double),
When (IntegralTypes Double) (Integral Double),
When
(FloatingTypes Double) (Real Double, Fractional Double),
SBoolI (Unboxable Double), SBoolI (Numeric Double),
SBoolI (IntegralTypes Double),
SBoolI (FloatingTypes Double))))
$dUnbox_aUpZp; } in
mapColumn
@Double
@Double
($dCTuple9_aUpZa
`cast` ((ghc-prim:GHC.Classes.CTuple9
<(Typeable Double, Show Double, Eq Double, Read Double)>_N
(ColumnifyRep
(Sym (DataFrame.Internal.Types.D:R:If[0]
<Rep>_N <RBoxed>_N <RUnboxed>_N)
; (If
<Rep>_N
(Sym DataFrame.Internal.Types.D:R:Unboxable[12])
<RUnboxed>_N
<RBoxed>_N)_N
; Sym (DataFrame.Internal.Types.D:R:KindOf[1] <Double>_N))
<Double>_N)_N
(Sym (DataFrame.Internal.Types.D:R:When[0] <VUM.Unbox Double>_N)
; (When
(Sym DataFrame.Internal.Types.D:R:Unboxable[12])
<VUM.Unbox Double>_N)_N)
(Sym (DataFrame.Internal.Types.D:R:When[1] <Integral Double>_N)
; (When
(Sym (DataFrame.Internal.Types.D:R:IntegralTypes[11]
<Double>_N))
<Integral Double>_N)_N)
(Sym (DataFrame.Internal.Types.D:R:When[0]
<(Real Double, Fractional Double)>_N)
; (When
(Sym DataFrame.Internal.Types.D:R:FloatingTypes[1])
<(Real Double, Fractional Double)>_N)_N)
(SBoolI (Sym DataFrame.Internal.Types.D:R:Unboxable[12]))_N
(SBoolI (Sym DataFrame.Internal.Types.D:R:Numeric[11]))_N
(SBoolI
(Sym (DataFrame.Internal.Types.D:R:IntegralTypes[11]
<Double>_N)))_N
(SBoolI (Sym DataFrame.Internal.Types.D:R:FloatingTypes[1]))_N)_R
:: Coercible
((Typeable Double, Show Double, Eq Double, Read Double),
ColumnifyRep RUnboxed Double, VUM.Unbox Double, () :: Constraint,
(Real Double, Fractional Double), SBoolI True, SBoolI True,
SBoolI False, SBoolI True)
((Typeable Double, Show Double, Eq Double, Read Double),
ColumnifyRep (KindOf Double) Double,
When (Unboxable Double) (VUM.Unbox Double),
When (IntegralTypes Double) (Integral Double),
When (FloatingTypes Double) (Real Double, Fractional Double),
SBoolI (Unboxable Double), SBoolI (Numeric Double),
SBoolI (IntegralTypes Double), SBoolI (FloatingTypes Double))))
($dCTuple9_aUpZa
`cast` ((ghc-prim:GHC.Classes.CTuple9
<(Typeable Double, Show Double, Eq Double, Read Double)>_N
(ColumnifyRep
(Sym (DataFrame.Internal.Types.D:R:If[0]
<Rep>_N <RBoxed>_N <RUnboxed>_N)
; (If
<Rep>_N
(Sym DataFrame.Internal.Types.D:R:Unboxable[12])
<RUnboxed>_N
<RBoxed>_N)_N
; Sym (DataFrame.Internal.Types.D:R:KindOf[1] <Double>_N))
<Double>_N)_N
(Sym (DataFrame.Internal.Types.D:R:When[0] <VUM.Unbox Double>_N)
; (When
(Sym DataFrame.Internal.Types.D:R:Unboxable[12])
<VUM.Unbox Double>_N)_N)
(Sym (DataFrame.Internal.Types.D:R:When[1] <Integral Double>_N)
; (When
(Sym (DataFrame.Internal.Types.D:R:IntegralTypes[11]
<Double>_N))
<Integral Double>_N)_N)
(Sym (DataFrame.Internal.Types.D:R:When[0]
<(Real Double, Fractional Double)>_N)
; (When
(Sym DataFrame.Internal.Types.D:R:FloatingTypes[1])
<(Real Double, Fractional Double)>_N)_N)
(SBoolI (Sym DataFrame.Internal.Types.D:R:Unboxable[12]))_N
(SBoolI (Sym DataFrame.Internal.Types.D:R:Numeric[11]))_N
(SBoolI
(Sym (DataFrame.Internal.Types.D:R:IntegralTypes[11]
<Double>_N)))_N
(SBoolI (Sym DataFrame.Internal.Types.D:R:FloatingTypes[1]))_N)_R
:: Coercible
((Typeable Double, Show Double, Eq Double, Read Double),
ColumnifyRep RUnboxed Double, VUM.Unbox Double, () :: Constraint,
(Real Double, Fractional Double), SBoolI True, SBoolI True,
SBoolI False, SBoolI True)
((Typeable Double, Show Double, Eq Double, Read Double),
ColumnifyRep (KindOf Double) Double,
When (Unboxable Double) (VUM.Unbox Double),
When (IntegralTypes Double) (Integral Double),
When (FloatingTypes Double) (Real Double, Fractional Double),
SBoolI (Unboxable Double), SBoolI (Numeric Double),
SBoolI (IntegralTypes Double), SBoolI (FloatingTypes Double))))
Orig lhs: let {
$dSBoolI_aUpZi :: SBoolI False
[LclId]
$dSBoolI_aUpZi = DataFrame.Internal.Types.$fSBoolIFalse } in
let {
$dSBoolI_aUpZg :: SBoolI True
[LclId]
$dSBoolI_aUpZg = DataFrame.Internal.Types.$fSBoolITrue } in
let {
$dSBoolI_aUpZh :: SBoolI True
[LclId]
$dSBoolI_aUpZh = $dSBoolI_aUpZg } in
let {
$dSBoolI_aUpZj :: SBoolI True
[LclId]
$dSBoolI_aUpZj = $dSBoolI_aUpZg } in
let {
$dFractional_aUpZr :: Fractional Double
[LclId]
$dFractional_aUpZr
= ghc-internal:GHC.Internal.Float.$fFractionalDouble } in
let {
$dReal_aUpZq :: Real Double
[LclId]
$dReal_aUpZq = ghc-internal:GHC.Internal.Float.$fRealDouble } in
let {
$dCTuple2_aUpZf :: (Real Double, Fractional Double)
[LclId]
$dCTuple2_aUpZf = ($dReal_aUpZq, $dFractional_aUpZr) } in
let {
$dCUnit_aUpZe :: () :: Constraint
[LclId]
$dCUnit_aUpZe = ghc-prim:GHC.Classes.CUnit } in
let {
$dUnbox_aUpZp :: VUM.Unbox Double
[LclId]
$dUnbox_aUpZp = Data.Vector.Unboxed.Base.$fUnboxDouble } in
let {
$dUnbox_aUpZd :: VUM.Unbox Double
[LclId]
$dUnbox_aUpZd = $dUnbox_aUpZp } in
let {
$dRead_aUpZn :: Read Double
[LclId]
$dRead_aUpZn = ghc-internal:GHC.Internal.Read.$fReadDouble } in
let {
$dEq_aUpZm :: Eq Double
[LclId]
$dEq_aUpZm = ghc-prim:GHC.Classes.$fEqDouble } in
let {
$dShow_aUpZl :: Show Double
[LclId]
$dShow_aUpZl = ghc-internal:GHC.Internal.Float.$fShowDouble } in
let {
$dTypeable_aUpZk :: Typeable Double
[LclId]
$dTypeable_aUpZk
= ghc-internal:GHC.Internal.Data.Typeable.Internal.C:Typeable
@(*)
@Double
(ghc-internal:GHC.Internal.Data.Typeable.Internal.mkTrCon
@(*)
@Double
ghc-prim:GHC.Types.$tcDouble
(ghc-prim:GHC.Types.[] @SomeTypeRep)) } in
let {
$dCTuple4_aUpZb :: Columnable' Double
[LclId]
$dCTuple4_aUpZb
= ($dTypeable_aUpZk, $dShow_aUpZl, $dEq_aUpZm, $dRead_aUpZn) } in
letrec {
$dCTuple9_aUpZa
:: (Columnable' Double, ColumnifyRep RUnboxed Double,
VUM.Unbox Double, () :: Constraint,
(Real Double, Fractional Double), SBoolI True, SBoolI True,
SBoolI False, SBoolI True)
[LclId]
$dCTuple9_aUpZa
= ($dCTuple4_aUpZb, $dColumnifyRep_aUpZc, $dUnbox_aUpZd,
$dCUnit_aUpZe, $dCTuple2_aUpZf, $dSBoolI_aUpZg, $dSBoolI_aUpZh,
$dSBoolI_aUpZi, $dSBoolI_aUpZj);
$dColumnifyRep_aUpZc :: ColumnifyRep RUnboxed Double
[LclId]
$dColumnifyRep_aUpZc
= DataFrame.Internal.Column.$fColumnifyRepRUnboxeda
@Double $dCTuple9_aUpZo $dUnbox_aUpZp;
$dCTuple9_aUpZo :: Columnable Double
[LclId]
$dCTuple9_aUpZo
= $dCTuple9_aUpZa
`cast` (Sub (Sym (ghc-prim:GHC.Classes.CTuple9
<(Typeable Double, Show Double, Eq Double, Read Double)>_N
(ColumnifyRep
(DataFrame.Internal.Types.D:R:KindOf[1] <Double>_N
; (If
<Rep>_N
DataFrame.Internal.Types.D:R:Unboxable[12]
<RUnboxed>_N
<RBoxed>_N)_N
; DataFrame.Internal.Types.D:R:If[0]
<Rep>_N <RBoxed>_N <RUnboxed>_N)
<Double>_N)_N
((When
DataFrame.Internal.Types.D:R:Unboxable[12]
<VUM.Unbox Double>_N)_N
; DataFrame.Internal.Types.D:R:When[0] <VUM.Unbox Double>_N)
((When
(DataFrame.Internal.Types.D:R:IntegralTypes[11]
<Double>_N)
<Integral Double>_N)_N
; DataFrame.Internal.Types.D:R:When[1] <Integral Double>_N)
((When
DataFrame.Internal.Types.D:R:FloatingTypes[1]
<(Real Double, Fractional Double)>_N)_N
; DataFrame.Internal.Types.D:R:When[0]
<(Real Double, Fractional Double)>_N)
(SBoolI DataFrame.Internal.Types.D:R:Unboxable[12])_N
(SBoolI DataFrame.Internal.Types.D:R:Numeric[11])_N
(SBoolI
(DataFrame.Internal.Types.D:R:IntegralTypes[11]
<Double>_N))_N
(SBoolI DataFrame.Internal.Types.D:R:FloatingTypes[1])_N)_N)
:: Coercible
((Typeable Double, Show Double, Eq Double, Read Double),
ColumnifyRep RUnboxed Double, VUM.Unbox Double, () :: Constraint,
(Real Double, Fractional Double), SBoolI True, SBoolI True,
SBoolI False, SBoolI True)
((Typeable Double, Show Double, Eq Double, Read Double),
ColumnifyRep (KindOf Double) Double,
When (Unboxable Double) (VUM.Unbox Double),
When (IntegralTypes Double) (Integral Double),
When (FloatingTypes Double) (Real Double, Fractional Double),
SBoolI (Unboxable Double), SBoolI (Numeric Double),
SBoolI (IntegralTypes Double),
SBoolI (FloatingTypes Double))); } in
let {
$dCTuple9_aUoj4 :: Columnable Double
[LclId]
$dCTuple9_aUoj4
= $dCTuple9_aUpZa
`cast` (Sub (Sym (ghc-prim:GHC.Classes.CTuple9
<(Typeable Double, Show Double, Eq Double, Read Double)>_N
(ColumnifyRep
(DataFrame.Internal.Types.D:R:KindOf[1] <Double>_N
; (If
<Rep>_N
DataFrame.Internal.Types.D:R:Unboxable[12]
<RUnboxed>_N
<RBoxed>_N)_N
; DataFrame.Internal.Types.D:R:If[0]
<Rep>_N <RBoxed>_N <RUnboxed>_N)
<Double>_N)_N
((When
DataFrame.Internal.Types.D:R:Unboxable[12]
<VUM.Unbox Double>_N)_N
; DataFrame.Internal.Types.D:R:When[0] <VUM.Unbox Double>_N)
((When
(DataFrame.Internal.Types.D:R:IntegralTypes[11]
<Double>_N)
<Integral Double>_N)_N
; DataFrame.Internal.Types.D:R:When[1] <Integral Double>_N)
((When
DataFrame.Internal.Types.D:R:FloatingTypes[1]
<(Real Double, Fractional Double)>_N)_N
; DataFrame.Internal.Types.D:R:When[0]
<(Real Double, Fractional Double)>_N)
(SBoolI DataFrame.Internal.Types.D:R:Unboxable[12])_N
(SBoolI DataFrame.Internal.Types.D:R:Numeric[11])_N
(SBoolI
(DataFrame.Internal.Types.D:R:IntegralTypes[11]
<Double>_N))_N
(SBoolI DataFrame.Internal.Types.D:R:FloatingTypes[1])_N)_N)
:: Coercible
((Typeable Double, Show Double, Eq Double, Read Double),
ColumnifyRep RUnboxed Double, VUM.Unbox Double, () :: Constraint,
(Real Double, Fractional Double), SBoolI True, SBoolI True,
SBoolI False, SBoolI True)
((Typeable Double, Show Double, Eq Double, Read Double),
ColumnifyRep (KindOf Double) Double,
When (Unboxable Double) (VUM.Unbox Double),
When (IntegralTypes Double) (Integral Double),
When (FloatingTypes Double) (Real Double, Fractional Double),
SBoolI (Unboxable Double), SBoolI (Numeric Double),
SBoolI (IntegralTypes Double), SBoolI (FloatingTypes Double))) } in
let {
$dCTuple9_aUoj3 :: Columnable Double
[LclId]
$dCTuple9_aUoj3
= $dCTuple9_aUpZa
`cast` (Sub (Sym (ghc-prim:GHC.Classes.CTuple9
<(Typeable Double, Show Double, Eq Double, Read Double)>_N
(ColumnifyRep
(DataFrame.Internal.Types.D:R:KindOf[1] <Double>_N
; (If
<Rep>_N
DataFrame.Internal.Types.D:R:Unboxable[12]
<RUnboxed>_N
<RBoxed>_N)_N
; DataFrame.Internal.Types.D:R:If[0]
<Rep>_N <RBoxed>_N <RUnboxed>_N)
<Double>_N)_N
((When
DataFrame.Internal.Types.D:R:Unboxable[12]
<VUM.Unbox Double>_N)_N
; DataFrame.Internal.Types.D:R:When[0] <VUM.Unbox Double>_N)
((When
(DataFrame.Internal.Types.D:R:IntegralTypes[11]
<Double>_N)
<Integral Double>_N)_N
; DataFrame.Internal.Types.D:R:When[1] <Integral Double>_N)
((When
DataFrame.Internal.Types.D:R:FloatingTypes[1]
<(Real Double, Fractional Double)>_N)_N
; DataFrame.Internal.Types.D:R:When[0]
<(Real Double, Fractional Double)>_N)
(SBoolI DataFrame.Internal.Types.D:R:Unboxable[12])_N
(SBoolI DataFrame.Internal.Types.D:R:Numeric[11])_N
(SBoolI
(DataFrame.Internal.Types.D:R:IntegralTypes[11]
<Double>_N))_N
(SBoolI DataFrame.Internal.Types.D:R:FloatingTypes[1])_N)_N)
:: Coercible
((Typeable Double, Show Double, Eq Double, Read Double),
ColumnifyRep RUnboxed Double, VUM.Unbox Double, () :: Constraint,
(Real Double, Fractional Double), SBoolI True, SBoolI True,
SBoolI False, SBoolI True)
((Typeable Double, Show Double, Eq Double, Read Double),
ColumnifyRep (KindOf Double) Double,
When (Unboxable Double) (VUM.Unbox Double),
When (IntegralTypes Double) (Integral Double),
When (FloatingTypes Double) (Real Double, Fractional Double),
SBoolI (Unboxable Double), SBoolI (Numeric Double),
SBoolI (IntegralTypes Double), SBoolI (FloatingTypes Double))) } in
mapColumn @Double @Double $dCTuple9_aUoj3 $dCTuple9_aUoj4
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment