[1 of 1] Compiling Main ( show.hs, show.o )
==================== Tidy Core ====================
Result size of Tidy Core = {terms: 36, types: 47, coercions: 12}
Main.main3 :: Char -> Int
[GblId,
Arity=1,
Caf=NoCafRefs,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [20] 21 20}]
Main.main3 =
\ (x_aMe [OS=ProbOneShot] :: Char) ->
case x_aMe of _ [Occ=Dead] { GHC.Types.C# c#_a1to ->
GHC.Types.I# (GHC.Prim.-# (GHC.Prim.ord# c#_a1to) 48)
}
Main.main4 :: Integer
[GblId,
Caf=NoCafRefs,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}]
Main.main4 = __integer 1
Main.main2 :: [Int]
[GblId,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 90 0}]
Main.main2 =
case GHC.Show.$w$cshowsPrec1 0 Main.main4 (GHC.Types.[] @ Char)
of _ [Occ=Dead] { (# ww3_a1uH, ww4_a1uI #) ->
map @ Char @ Int Main.main3 (GHC.Types.: @ Char ww3_a1uH ww4_a1uI)
}
Main.main1
:: GHC.Prim.State# GHC.Prim.RealWorld
-> (# GHC.Prim.State# GHC.Prim.RealWorld, [Int] #)
[GblId,
Arity=1,
Str=DmdType <L,U>,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=True)}]
Main.main1 =
\ (s_a1ut [OS=OneShot] :: GHC.Prim.State# GHC.Prim.RealWorld) ->
(# s_a1ut, Main.main2 #)
main :: IO [Int]
[GblId,
Arity=1,
Str=DmdType <L,U>,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)
Tmpl= Main.main1
`cast` (Sym (GHC.Types.NTCo:IO[0] <[Int]>_R)
:: (GHC.Prim.State# GHC.Prim.RealWorld
-> (# GHC.Prim.State# GHC.Prim.RealWorld, [Int] #))
~R# IO [Int])}]
main =
Main.main1
`cast` (Sym (GHC.Types.NTCo:IO[0] <[Int]>_R)
:: (GHC.Prim.State# GHC.Prim.RealWorld
-> (# GHC.Prim.State# GHC.Prim.RealWorld, [Int] #))
~R# IO [Int])
Main.main5
:: GHC.Prim.State# GHC.Prim.RealWorld
-> (# GHC.Prim.State# GHC.Prim.RealWorld, [Int] #)
[GblId,
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 60}]
Main.main5 =
GHC.TopHandler.runMainIO1
@ [Int]
(Main.main1
`cast` (Sym (GHC.Types.NTCo:IO[0] <[Int]>_R)
:: (GHC.Prim.State# GHC.Prim.RealWorld
-> (# GHC.Prim.State# GHC.Prim.RealWorld, [Int] #))
~R# IO [Int]))
:Main.main :: IO [Int]
[GblId,
Arity=1,
Str=DmdType,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)
Tmpl= Main.main5
`cast` (Sym (GHC.Types.NTCo:IO[0] <[Int]>_R)
:: (GHC.Prim.State# GHC.Prim.RealWorld
-> (# GHC.Prim.State# GHC.Prim.RealWorld, [Int] #))
~R# IO [Int])}]
:Main.main =
Main.main5
`cast` (Sym (GHC.Types.NTCo:IO[0] <[Int]>_R)
:: (GHC.Prim.State# GHC.Prim.RealWorld
-> (# GHC.Prim.State# GHC.Prim.RealWorld, [Int] #))
~R# IO [Int])
Linking show.exe ...
WzEgb2YgMV0gQ29tcGlsaW5nIE1haW4gICAgICAgICAgICAgKCBzaG93LmhzLCBzaG93Lm8gKQoKPT09PT09PT09PT09PT09PT09PT0gVGlkeSBDb3JlID09PT09PT09PT09PT09PT09PT09ClJlc3VsdCBzaXplIG9mIFRpZHkgQ29yZSA9IHt0ZXJtczogMzYsIHR5cGVzOiA0NywgY29lcmNpb25zOiAxMn0KCk1haW4ubWFpbjMgOjogQ2hhciAtPiBJbnQKW0dibElkLAogQXJpdHk9MSwKIENhZj1Ob0NhZlJlZnMsCiBTdHI9RG1kVHlwZSwKIFVuZj1VbmZ7U3JjPTx2YW5pbGxhPiwgVG9wTHZsPVRydWUsIFZhbHVlPVRydWUsIENvbkxpa2U9VHJ1ZSwKICAgICAgICAgV29ya0ZyZWU9VHJ1ZSwgRXhwYW5kYWJsZT1UcnVlLCBHdWlkYW5jZT1JRl9BUkdTIFsyMF0gMjEgMjB9XQpNYWluLm1haW4zID0KICBcICh4X2FNZSBbT1M9UHJvYk9uZVNob3RdIDo6IENoYXIpIC0+CiAgICBjYXNlIHhfYU1lIG9mIF8gW09jYz1EZWFkXSB7IEdIQy5UeXBlcy5DIyBjI19hMXRvIC0+CiAgICBHSEMuVHlwZXMuSSMgKEdIQy5QcmltLi0jIChHSEMuUHJpbS5vcmQjIGMjX2ExdG8pIDQ4KQogICAgfQoKTWFpbi5tYWluNCA6OiBJbnRlZ2VyCltHYmxJZCwKIENhZj1Ob0NhZlJlZnMsCiBTdHI9RG1kVHlwZSwKIFVuZj1VbmZ7U3JjPTx2YW5pbGxhPiwgVG9wTHZsPVRydWUsIFZhbHVlPVRydWUsIENvbkxpa2U9VHJ1ZSwKICAgICAgICAgV29ya0ZyZWU9VHJ1ZSwgRXhwYW5kYWJsZT1UcnVlLCBHdWlkYW5jZT1JRl9BUkdTIFtdIDEwMCAwfV0KTWFpbi5tYWluNCA9IF9faW50ZWdlciAxCgpNYWluLm1haW4yIDo6IFtJbnRdCltHYmxJZCwKIFN0cj1EbWRUeXBlLAogVW5mPVVuZntTcmM9PHZhbmlsbGE+LCBUb3BMdmw9VHJ1ZSwgVmFsdWU9RmFsc2UsIENvbkxpa2U9RmFsc2UsCiAgICAgICAgIFdvcmtGcmVlPUZhbHNlLCBFeHBhbmRhYmxlPUZhbHNlLCBHdWlkYW5jZT1JRl9BUkdTIFtdIDkwIDB9XQpNYWluLm1haW4yID0KICBjYXNlIEdIQy5TaG93LiR3JGNzaG93c1ByZWMxIDAgTWFpbi5tYWluNCAoR0hDLlR5cGVzLltdIEAgQ2hhcikKICBvZiBfIFtPY2M9RGVhZF0geyAoIyB3dzNfYTF1SCwgd3c0X2ExdUkgIykgLT4KICBtYXAgQCBDaGFyIEAgSW50IE1haW4ubWFpbjMgKEdIQy5UeXBlcy46IEAgQ2hhciB3dzNfYTF1SCB3dzRfYTF1SSkKICB9CgpNYWluLm1haW4xCiAgOjogR0hDLlByaW0uU3RhdGUjIEdIQy5QcmltLlJlYWxXb3JsZAogICAgIC0+ICgjIEdIQy5QcmltLlN0YXRlIyBHSEMuUHJpbS5SZWFsV29ybGQsIFtJbnRdICMpCltHYmxJZCwKIEFyaXR5PTEsCiBTdHI9RG1kVHlwZSA8TCxVPiwKIFVuZj1VbmZ7U3JjPTx2YW5pbGxhPiwgVG9wTHZsPVRydWUsIFZhbHVlPVRydWUsIENvbkxpa2U9VHJ1ZSwKICAgICAgICAgV29ya0ZyZWU9VHJ1ZSwgRXhwYW5kYWJsZT1UcnVlLAogICAgICAgICBHdWlkYW5jZT1BTFdBWVNfSUYoYXJpdHk9MSx1bnNhdF9vaz1UcnVlLGJvcmluZ19vaz1UcnVlKX1dCk1haW4ubWFpbjEgPQogIFwgKHNfYTF1dCBbT1M9T25lU2hvdF0gOjogR0hDLlByaW0uU3RhdGUjIEdIQy5QcmltLlJlYWxXb3JsZCkgLT4KICAgICgjIHNfYTF1dCwgTWFpbi5tYWluMiAjKQoKbWFpbiA6OiBJTyBbSW50XQpbR2JsSWQsCiBBcml0eT0xLAogU3RyPURtZFR5cGUgPEwsVT4sCiBVbmY9VW5me1NyYz1JbmxpbmVTdGFibGUsIFRvcEx2bD1UcnVlLCBWYWx1ZT1UcnVlLCBDb25MaWtlPVRydWUsCiAgICAgICAgIFdvcmtGcmVlPVRydWUsIEV4cGFuZGFibGU9VHJ1ZSwKICAgICAgICAgR3VpZGFuY2U9QUxXQVlTX0lGKGFyaXR5PTAsdW5zYXRfb2s9VHJ1ZSxib3Jpbmdfb2s9VHJ1ZSkKICAgICAgICAgVG1wbD0gTWFpbi5tYWluMQogICAgICAgICAgICAgICBgY2FzdGAgKFN5bSAoR0hDLlR5cGVzLk5UQ286SU9bMF0gPFtJbnRdPl9SKQogICAgICAgICAgICAgICAgICAgICAgIDo6IChHSEMuUHJpbS5TdGF0ZSMgR0hDLlByaW0uUmVhbFdvcmxkCiAgICAgICAgICAgICAgICAgICAgICAgICAgIC0+ICgjIEdIQy5QcmltLlN0YXRlIyBHSEMuUHJpbS5SZWFsV29ybGQsIFtJbnRdICMpKQogICAgICAgICAgICAgICAgICAgICAgICAgIH5SIyBJTyBbSW50XSl9XQptYWluID0KICBNYWluLm1haW4xCiAgYGNhc3RgIChTeW0gKEdIQy5UeXBlcy5OVENvOklPWzBdIDxbSW50XT5fUikKICAgICAgICAgIDo6IChHSEMuUHJpbS5TdGF0ZSMgR0hDLlByaW0uUmVhbFdvcmxkCiAgICAgICAgICAgICAgLT4gKCMgR0hDLlByaW0uU3RhdGUjIEdIQy5QcmltLlJlYWxXb3JsZCwgW0ludF0gIykpCiAgICAgICAgICAgICB+UiMgSU8gW0ludF0pCgpNYWluLm1haW41CiAgOjogR0hDLlByaW0uU3RhdGUjIEdIQy5QcmltLlJlYWxXb3JsZAogICAgIC0+ICgjIEdIQy5QcmltLlN0YXRlIyBHSEMuUHJpbS5SZWFsV29ybGQsIFtJbnRdICMpCltHYmxJZCwKIEFyaXR5PTEsCiBTdHI9RG1kVHlwZSwKIFVuZj1VbmZ7U3JjPTx2YW5pbGxhPiwgVG9wTHZsPVRydWUsIFZhbHVlPVRydWUsIENvbkxpa2U9VHJ1ZSwKICAgICAgICAgV29ya0ZyZWU9VHJ1ZSwgRXhwYW5kYWJsZT1UcnVlLCBHdWlkYW5jZT1JRl9BUkdTIFtdIDIwIDYwfV0KTWFpbi5tYWluNSA9CiAgR0hDLlRvcEhhbmRsZXIucnVuTWFpbklPMQogICAgQCBbSW50XQogICAgKE1haW4ubWFpbjEKICAgICBgY2FzdGAgKFN5bSAoR0hDLlR5cGVzLk5UQ286SU9bMF0gPFtJbnRdPl9SKQogICAgICAgICAgICAgOjogKEdIQy5QcmltLlN0YXRlIyBHSEMuUHJpbS5SZWFsV29ybGQKICAgICAgICAgICAgICAgICAtPiAoIyBHSEMuUHJpbS5TdGF0ZSMgR0hDLlByaW0uUmVhbFdvcmxkLCBbSW50XSAjKSkKICAgICAgICAgICAgICAgIH5SIyBJTyBbSW50XSkpCgo6TWFpbi5tYWluIDo6IElPIFtJbnRdCltHYmxJZCwKIEFyaXR5PTEsCiBTdHI9RG1kVHlwZSwKIFVuZj1VbmZ7U3JjPUlubGluZVN0YWJsZSwgVG9wTHZsPVRydWUsIFZhbHVlPVRydWUsIENvbkxpa2U9VHJ1ZSwKICAgICAgICAgV29ya0ZyZWU9VHJ1ZSwgRXhwYW5kYWJsZT1UcnVlLAogICAgICAgICBHdWlkYW5jZT1BTFdBWVNfSUYoYXJpdHk9MCx1bnNhdF9vaz1UcnVlLGJvcmluZ19vaz1UcnVlKQogICAgICAgICBUbXBsPSBNYWluLm1haW41CiAgICAgICAgICAgICAgIGBjYXN0YCAoU3ltIChHSEMuVHlwZXMuTlRDbzpJT1swXSA8W0ludF0+X1IpCiAgICAgICAgICAgICAgICAgICAgICAgOjogKEdIQy5QcmltLlN0YXRlIyBHSEMuUHJpbS5SZWFsV29ybGQKICAgICAgICAgICAgICAgICAgICAgICAgICAgLT4gKCMgR0hDLlByaW0uU3RhdGUjIEdIQy5QcmltLlJlYWxXb3JsZCwgW0ludF0gIykpCiAgICAgICAgICAgICAgICAgICAgICAgICAgflIjIElPIFtJbnRdKX1dCjpNYWluLm1haW4gPQogIE1haW4ubWFpbjUKICBgY2FzdGAgKFN5bSAoR0hDLlR5cGVzLk5UQ286SU9bMF0gPFtJbnRdPl9SKQogICAgICAgICAgOjogKEdIQy5QcmltLlN0YXRlIyBHSEMuUHJpbS5SZWFsV29ybGQKICAgICAgICAgICAgICAtPiAoIyBHSEMuUHJpbS5TdGF0ZSMgR0hDLlByaW0uUmVhbFdvcmxkLCBbSW50XSAjKSkKICAgICAgICAgICAgIH5SIyBJTyBbSW50XSkKCgoKTGlua2luZyBzaG93LmV4ZSAuLi4K