Main.dump-simpl

==================== Tidy Core ====================
2017-11-28 12:34:31.425861 UTC

Result size of Tidy Core
  = {terms: 51, types: 32, coercions: 0, joins: 0/0}

-- RHS size: {terms: 3, types: 3, coercions: 0, joins: 0/0}
f_rqh :: forall a. a -> a
[GblId, Arity=1, Caf=NoCafRefs]
f_rqh = \ (@ a_a2A3) (x1_a19n :: a_a2A3) -> x1_a19n

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$trModule1_r2P4 :: GHC.Prim.Addr#
[GblId, Caf=NoCafRefs]
$trModule1_r2P4 = "main"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$trModule2_r2Pj :: GHC.Types.TrName
[GblId, Caf=NoCafRefs]
$trModule2_r2Pj = GHC.Types.TrNameS $trModule1_r2P4

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$trModule3_r2Pk :: GHC.Prim.Addr#
[GblId, Caf=NoCafRefs]
$trModule3_r2Pk = "Main"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$trModule4_r2Pl :: GHC.Types.TrName
[GblId, Caf=NoCafRefs]
$trModule4_r2Pl = GHC.Types.TrNameS $trModule3_r2Pk

-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
Main.$trModule :: GHC.Types.Module
[GblId, Caf=NoCafRefs]
Main.$trModule = GHC.Types.Module $trModule2_r2Pj $trModule4_r2Pl

-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
y_rsj :: Word64
[GblId]
y_rsj = fromInteger @ Word64 GHC.Word.$fNumWord64 128

-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
x_rsi :: Word64
[GblId]
x_rsi = fromInteger @ Word64 GHC.Word.$fNumWord64 128

-- RHS size: {terms: 6, types: 3, coercions: 0, joins: 0/0}
z_r2Pm :: Word64
[GblId]
z_r2Pm
  = + @ Word64
      GHC.Word.$fNumWord64
      (f_rqh @ Word64 x_rsi)
      (f_rqh @ Word64 y_rsj)

-- RHS size: {terms: 14, types: 7, coercions: 0, joins: 0/0}
main :: IO ()
[GblId]
main
  = >>
      @ IO
      GHC.Base.$fMonadIO
      @ ()
      @ ()
      (print
         @ Bool
         GHC.Show.$fShowBool
         (==
            @ Word64
            GHC.Word.$fEqWord64
            z_r2Pm
            (+ @ Word64 GHC.Word.$fNumWord64 x_rsi y_rsj)))
      (print @ Word64 GHC.Word.$fShowWord64 z_r2Pm)

-- RHS size: {terms: 2, types: 1, coercions: 0, joins: 0/0}
:Main.main :: IO ()
[GblId]
:Main.main = GHC.TopHandler.runMainIO @ () main