GHC Core

Simplify


Main.my_foldr_r71 :: ∀t_a7l. ∀t_a7q. (t_a7q → t_a7l → t_a7l) → t_a7l → [t_a7q] → t_a7l
[Exported]
Arity 3
Main.my_foldr_r71
= Λ(t_a7l :: GHC.Prim.*) →
   Λ(t_a7q :: GHC.Prim.*) →
    λ(c_a77 :: t_a7q → t_a7l → t_a7l) →
     λ(n_a79 :: t_a7l) →
      λ(eta_srZ :: [t_a7q]) →
           letrec
                 my_foldr'_a7b LoopBreaker :: [t_a7q] → t_a7l
                 Arity 1
                 my_foldr'_a7b LoopBreaker
                 = λ(ds_drR :: [t_a7q]) →
                    case ds_drR@(wild_B1 :: [t_a7q]) of
                        [GHC.Base.[]] → n_a79
                        [GHC.Base.: x_a7d xs_a7f] → c_a77 x_a7d (my_foldr'_a7b xs_a7f)
       in my_foldr'_a7b eta_srZ

Main.my_id_r6X :: ∀t_alK. t_alK → t_alK
[Exported]
Arity 1
Main.my_id_r6X = Λ(t_alK :: GHC.Prim.*) → λ(x_a75 :: t_alK) → x_a75

Main.foo_r8 :: GHC.Integer.Integer
[Exported]
Main.foo_r8 = GHC.Integer.plusInteger (GHC.Integer.smallInteger 1) (GHC.Integer.smallInteger 1)

Main.bar_r73 :: GHC.Bool.Bool
[Exported]
Main.bar_r73
= case (GHC.Base.> GHC.Integer.Integer GHC.Num.$f4 Main.foo_r8 (GHC.Integer.smallInteger 2))@(wild_B1 Dead :: GHC.Bool.Bool) of
      [GHC.Bool.False] → GHC.Bool.True
      [GHC.Bool.True] → GHC.Bool.False

$dShow_akn :: GHC.Show.Show [GHC.Base.Char]
$dShow_akn = GHC.Show.$f21 GHC.Base.Char GHC.Show.$f18

a_ssk :: [GHC.Base.Char]
a_ssk = GHC.Base.unpackCString# "Hello World"

Main.main_r72 :: GHC.IOBase.IO ()
[Exported]
Arity 1
Main.main_r72 = System.IO.print [GHC.Base.Char] $dShow_akn a_ssk

:Main.main :: GHC.IOBase.IO ()
[Exported]
Arity 1
:Main.main = GHC.TopHandler.runMainIO () Main.main_r72

Static Argument Transformation


Main.my_foldr_r71 :: ∀t_a7l. ∀t_a7q. (t_a7q → t_a7l → t_a7l) → t_a7l → [t_a7q] → t_a7l
[Exported]
Arity 3
Main.my_foldr_r71
= Λ(t_a7l :: GHC.Prim.*) →
   Λ(t_a7q :: GHC.Prim.*) →
    λ(c_a77 :: t_a7q → t_a7l → t_a7l) →
     λ(n_a79 :: t_a7l) →
      λ(eta_srZ :: [t_a7q]) →
           letrec
                 my_foldr'_a7b LoopBreaker :: [t_a7q] → t_a7l
                 Arity 1
                 my_foldr'_a7b LoopBreaker
                 = λ(ds_drR :: [t_a7q]) →
                    case ds_drR@(wild_B1 :: [t_a7q]) of
                        [GHC.Base.[]] → n_a79
                        [GHC.Base.: x_a7d xs_a7f] → c_a77 x_a7d (my_foldr'_a7b xs_a7f)
       in my_foldr'_a7b eta_srZ

Main.my_id_r6X :: ∀t_alK. t_alK → t_alK
[Exported]
Arity 1
Main.my_id_r6X = Λ(t_alK :: GHC.Prim.*) → λ(x_a75 :: t_alK) → x_a75

Main.foo_r8 :: GHC.Integer.Integer
[Exported]
Main.foo_r8 = GHC.Integer.plusInteger (GHC.Integer.smallInteger 1) (GHC.Integer.smallInteger 1)

Main.bar_r73 :: GHC.Bool.Bool
[Exported]
Main.bar_r73
= case (GHC.Base.> GHC.Integer.Integer GHC.Num.$f4 Main.foo_r8 (GHC.Integer.smallInteger 2))@(wild_B1 Dead :: GHC.Bool.Bool) of
      [GHC.Bool.False] → GHC.Bool.True
      [GHC.Bool.True] → GHC.Bool.False

$dShow_akn :: GHC.Show.Show [GHC.Base.Char]
$dShow_akn = GHC.Show.$f21 GHC.Base.Char GHC.Show.$f18

a_ssk :: [GHC.Base.Char]
a_ssk = GHC.Base.unpackCString# "Hello World"

Main.main_r72 :: GHC.IOBase.IO ()
[Exported]
Arity 1
Main.main_r72 = System.IO.print [GHC.Base.Char] $dShow_akn a_ssk

:Main.main :: GHC.IOBase.IO ()
[Exported]
Arity 1
:Main.main = GHC.TopHandler.runMainIO () Main.main_r72

Simplify


Main.my_foldr_r71 :: ∀t_a7l. ∀t_a7q. (t_a7q → t_a7l → t_a7l) → t_a7l → [t_a7q] → t_a7l
[Exported]
Arity 3
Main.my_foldr_r71
= Λ(t_a7l :: GHC.Prim.*) →
   Λ(t_a7q :: GHC.Prim.*) →
    λ(c_a77 :: t_a7q → t_a7l → t_a7l) →
     λ(n_a79 :: t_a7l) →
      λ(eta_srZ :: [t_a7q]) →
           letrec
                 my_foldr'_a7b LoopBreaker :: [t_a7q] → t_a7l
                 Arity 1
                 my_foldr'_a7b LoopBreaker
                 = λ(ds_drR :: [t_a7q]) →
                    case ds_drR@(wild_B1 :: [t_a7q]) of
                        [GHC.Base.[]] → n_a79
                        [GHC.Base.: x_a7d xs_a7f] → c_a77 x_a7d (my_foldr'_a7b xs_a7f)
       in my_foldr'_a7b eta_srZ

Main.my_id_r6X :: ∀t_alK. t_alK → t_alK
[Exported]
Arity 1
Main.my_id_r6X = Λ(t_alK :: GHC.Prim.*) → λ(x_a75 :: t_alK) → x_a75

Main.foo_r8 :: GHC.Integer.Integer
[Exported]
Main.foo_r8 = GHC.Integer.plusInteger (GHC.Integer.smallInteger 1) (GHC.Integer.smallInteger 1)

Main.bar_r73 :: GHC.Bool.Bool
[Exported]
Main.bar_r73
= case (GHC.Base.> GHC.Integer.Integer GHC.Num.$f4 Main.foo_r8 (GHC.Integer.smallInteger 2))@(wild_B1 Dead :: GHC.Bool.Bool) of
      [GHC.Bool.False] → GHC.Bool.True
      [GHC.Bool.True] → GHC.Bool.False

$dShow_akn :: GHC.Show.Show [GHC.Base.Char]
$dShow_akn = GHC.Show.$f21 GHC.Base.Char GHC.Show.$f18

a_ssk :: [GHC.Base.Char]
a_ssk = GHC.Base.unpackCString# "Hello World"

Main.main_r72 :: GHC.IOBase.IO ()
[Exported]
Arity 1
Main.main_r72 = System.IO.print [GHC.Base.Char] $dShow_akn a_ssk

:Main.main :: GHC.IOBase.IO ()
[Exported]
Arity 1
:Main.main = GHC.TopHandler.runMainIO () Main.main_r72

Specialisation


$dShow_akn :: GHC.Show.Show [GHC.Base.Char]
$dShow_akn = GHC.Show.$f21 GHC.Base.Char GHC.Show.$f18

Main.my_foldr_r71 :: ∀t_a7l. ∀t_a7q. (t_a7q → t_a7l → t_a7l) → t_a7l → [t_a7q] → t_a7l
[Exported]
Arity 3
Main.my_foldr_r71
= Λ(t_a7l :: GHC.Prim.*) →
   Λ(t_a7q :: GHC.Prim.*) →
    λ(c_a77 :: t_a7q → t_a7l → t_a7l) →
     λ(n_a79 :: t_a7l) →
      λ(eta_srZ :: [t_a7q]) →
           letrec
                 my_foldr'_ssA LoopBreaker :: [t_a7q] → t_a7l
                 Arity 1
                 my_foldr'_ssA LoopBreaker
                 = λ(ds_drR :: [t_a7q]) →
                    case ds_drR@(wild_B1 :: [t_a7q]) of
                        [GHC.Base.[]] → n_a79
                        [GHC.Base.: x_a7d xs_a7f] → c_a77 x_a7d (my_foldr'_ssA xs_a7f)
       in my_foldr'_ssA eta_srZ

Main.my_id_r6X :: ∀t_alK. t_alK → t_alK
[Exported]
Arity 1
Main.my_id_r6X = Λ(t_alK :: GHC.Prim.*) → λ(x_a75 :: t_alK) → x_a75

Main.foo_r8 :: GHC.Integer.Integer
[Exported]
Main.foo_r8 = GHC.Integer.plusInteger (GHC.Integer.smallInteger 1) (GHC.Integer.smallInteger 1)

Main.bar_r73 :: GHC.Bool.Bool
[Exported]
Main.bar_r73
= case (GHC.Base.> GHC.Integer.Integer GHC.Num.$f4 Main.foo_r8 (GHC.Integer.smallInteger 2))@(wild_B1 Dead :: GHC.Bool.Bool) of
      [GHC.Bool.False] → GHC.Bool.True
      [GHC.Bool.True] → GHC.Bool.False

a_ssk :: [GHC.Base.Char]
a_ssk = GHC.Base.unpackCString# "Hello World"

Main.main_r72 :: GHC.IOBase.IO ()
[Exported]
Arity 1
Main.main_r72 = System.IO.print [GHC.Base.Char] $dShow_akn a_ssk

:Main.main :: GHC.IOBase.IO ()
[Exported]
Arity 1
:Main.main = GHC.TopHandler.runMainIO () Main.main_r72

Float Outwards


$dShow_akn :: GHC.Show.Show [GHC.Base.Char]
$dShow_akn = GHC.Show.$f21 GHC.Base.Char GHC.Show.$f18

Main.my_foldr_r71 :: ∀t_a7l. ∀t_a7q. (t_a7q → t_a7l → t_a7l) → t_a7l → [t_a7q] → t_a7l
[Exported]
Arity 3
Main.my_foldr_r71
= Λ(t_a7l :: GHC.Prim.*) →
   Λ(t_a7q :: GHC.Prim.*) →
    λ(c_a77 :: t_a7q → t_a7l → t_a7l) →
     λ(n_a79 :: t_a7l) →
      λ(eta_srZ :: [t_a7q]) →
           letrec
                 my_foldr'_ssD LoopBreaker :: [t_a7q] → t_a7l
                 Arity 1
                 my_foldr'_ssD LoopBreaker
                 = λ(ds_drR :: [t_a7q]) →
                    case ds_drR@(wild_B1 :: [t_a7q]) of
                        [GHC.Base.[]] → n_a79
                        [GH