|
|
|
==================== Tidy Core ==================== |
|
2020-06-03 22:34:43.203823 UTC |
|
|
|
Result size of Tidy Core |
|
= {terms: 105, types: 195, coercions: 121, joins: 1/1} |
|
|
|
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} |
|
Main.$trModule4 :: GHC.Prim.Addr# |
|
[GblId, |
|
Caf=NoCafRefs, |
|
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, |
|
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}] |
|
Main.$trModule4 = "main"# |
|
|
|
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} |
|
Main.$trModule3 :: GHC.Types.TrName |
|
[GblId, |
|
Caf=NoCafRefs, |
|
Str=m1, |
|
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, |
|
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}] |
|
Main.$trModule3 = GHC.Types.TrNameS Main.$trModule4 |
|
|
|
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} |
|
Main.$trModule2 :: GHC.Prim.Addr# |
|
[GblId, |
|
Caf=NoCafRefs, |
|
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, |
|
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}] |
|
Main.$trModule2 = "Main"# |
|
|
|
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} |
|
Main.$trModule1 :: GHC.Types.TrName |
|
[GblId, |
|
Caf=NoCafRefs, |
|
Str=m1, |
|
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, |
|
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}] |
|
Main.$trModule1 = GHC.Types.TrNameS Main.$trModule2 |
|
|
|
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} |
|
Main.$trModule :: GHC.Types.Module |
|
[GblId, |
|
Caf=NoCafRefs, |
|
Str=m, |
|
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, |
|
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}] |
|
Main.$trModule = GHC.Types.Module Main.$trModule3 Main.$trModule1 |
|
|
|
-- RHS size: {terms: 71, types: 107, coercions: 109, joins: 1/1} |
|
Main.main2 |
|
:: GHC.Prim.State# GHC.Prim.RealWorld |
|
-> (# GHC.Prim.State# GHC.Prim.RealWorld, VU.Vector Int #) |
|
[GblId, |
|
Arity=1, |
|
Caf=NoCafRefs, |
|
Str=<L,U>, |
|
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, |
|
WorkFree=True, Expandable=True, Guidance=IF_ARGS [0] 122 0}] |
|
Main.main2 |
|
= \ (s1_i4CI [OS=OneShot] :: GHC.Prim.State# GHC.Prim.RealWorld) -> |
|
case GHC.Prim.newByteArray# |
|
@ (Control.Monad.Primitive.PrimState |
|
(GHC.ST.ST GHC.Prim.RealWorld)) |
|
4611686018427387896# |
|
(s1_i4CI |
|
`cast` ((GHC.Prim.State# |
|
(Sym (Control.Monad.Primitive.D:R:PrimStateST[0] |
|
(Nth:0 |
|
(Nth:2 |
|
(<GHC.Prim.State# GHC.Prim.RealWorld>_R |
|
->_R ((#,#) |
|
<'GHC.Types.TupleRep '[]>_R |
|
<'GHC.Types.LiftedRep>_R |
|
<GHC.Prim.State# GHC.Prim.RealWorld>_R |
|
(Data.Vector.Generic.Base.Mutable |
|
<VU.Vector>_N |
|
(Control.Monad.Primitive.D:R:PrimStateST[0] |
|
<GHC.Prim.RealWorld>_N) |
|
<Int>_N)_R)_R))))))_R |
|
:: GHC.Prim.State# GHC.Prim.RealWorld |
|
~R# GHC.Prim.State# |
|
(Control.Monad.Primitive.PrimState |
|
(GHC.ST.ST GHC.Prim.RealWorld)))) |
|
of |
|
{ (# ipv_i7F8, ipv1_i7F9 #) -> |
|
joinrec { |
|
$s$wfoldlM'_loop_sa6P [Occ=LoopBreaker] |
|
:: GHC.Prim.State# GHC.Prim.RealWorld |
|
-> GHC.Prim.Int# |
|
-> GHC.Prim.Int# |
|
-> (# GHC.Prim.State# GHC.Prim.RealWorld, VU.Vector Int #) |
|
[LclId[JoinId(3)], Arity=3, Str=<L,U><L,U><L,U>, Unf=OtherCon []] |
|
$s$wfoldlM'_loop_sa6P (sc_sa6O |
|
:: GHC.Prim.State# GHC.Prim.RealWorld) |
|
(sc1_sa6M :: GHC.Prim.Int#) |
|
(sc2_sa6L :: GHC.Prim.Int#) |
|
= case GHC.Prim.<# sc1_sa6M 576460752303423487# of { |
|
__DEFAULT -> |
|
case GHC.Prim.unsafeFreezeByteArray# |
|
@ (Control.Monad.Primitive.PrimState |
|
(GHC.ST.ST GHC.Prim.RealWorld)) |
|
ipv1_i7F9 |
|
(sc_sa6O |
|
`cast` ((GHC.Prim.State# |
|
(Sym (Control.Monad.Primitive.D:R:PrimStateST[0] |
|
(Nth:0 |
|
(Nth:2 |
|
(Nth:3 |
|
(<GHC.Prim.State# GHC.Prim.RealWorld>_R |
|
->_R ((#,#) |
|
<'GHC.Types.TupleRep '[]>_R |
|
<'GHC.Types.LiftedRep>_R |
|
<GHC.Prim.State# |
|
GHC.Prim.RealWorld>_R |
|
(Data.Vector.Generic.Base.Mutable |
|
<VU.Vector>_N |
|
(Sym (Control.Monad.Primitive.D:R:PrimStateST[0] |
|
<GHC.Prim.RealWorld>_N)) |
|
<Int>_N)_R)_R)))))))_R |
|
:: GHC.Prim.State# GHC.Prim.RealWorld |
|
~R# GHC.Prim.State# |
|
(Control.Monad.Primitive.PrimState |
|
(GHC.ST.ST GHC.Prim.RealWorld)))) |
|
of |
|
{ (# ipv2_i7D5, ipv3_i7D6 #) -> |
|
(# ipv2_i7D5 |
|
`cast` ((GHC.Prim.State# |
|
(Control.Monad.Primitive.D:R:PrimStateST[0] |
|
<GHC.Prim.RealWorld>_N))_R |
|
:: GHC.Prim.State# |
|
(Control.Monad.Primitive.PrimState (GHC.ST.ST GHC.Prim.RealWorld)) |
|
~R# GHC.Prim.State# GHC.Prim.RealWorld), |
|
(Data.Vector.Primitive.Vector @ Int 0# sc2_sa6L ipv3_i7D6) |
|
`cast` (Sym (Data.Vector.Unboxed.Base.N:R:VectorInt[0]) ; Sym (Data.Vector.Unboxed.Base.D:R:VectorInt0[0]) |
|
:: Data.Vector.Primitive.Vector Int ~R# VU.Vector Int) #) |
|
}; |
|
1# -> |
|
case GHC.Prim.<# sc1_sa6M 40# of { |
|
__DEFAULT -> |
|
case GHC.Prim.unsafeFreezeByteArray# |
|
@ (Control.Monad.Primitive.PrimState |
|
(GHC.ST.ST GHC.Prim.RealWorld)) |
|
ipv1_i7F9 |
|
(sc_sa6O |
|
`cast` ((GHC.Prim.State# |
|
(Sym (Control.Monad.Primitive.D:R:PrimStateST[0] |
|
(Nth:0 |
|
(Nth:2 |
|
(Nth:3 |
|
(<GHC.Prim.State# |
|
GHC.Prim.RealWorld>_R |
|
->_R ((#,#) |
|
<'GHC.Types.TupleRep '[]>_R |
|
<'GHC.Types.LiftedRep>_R |
|
<GHC.Prim.State# |
|
GHC.Prim.RealWorld>_R |
|
(Data.Vector.Generic.Base.Mutable |
|
<VU.Vector>_N |
|
(Sym (Control.Monad.Primitive.D:R:PrimStateST[0] |
|
<GHC.Prim.RealWorld>_N)) |
|
<Int>_N)_R)_R)))))))_R |
|
:: GHC.Prim.State# GHC.Prim.RealWorld |
|
~R# GHC.Prim.State# |
|
(Control.Monad.Primitive.PrimState |
|
(GHC.ST.ST GHC.Prim.RealWorld)))) |
|
of |
|
{ (# ipv2_i7D5, ipv3_i7D6 #) -> |
|
(# ipv2_i7D5 |
|
`cast` ((GHC.Prim.State# |
|
(Control.Monad.Primitive.D:R:PrimStateST[0] |
|
<GHC.Prim.RealWorld>_N))_R |
|
:: GHC.Prim.State# |
|
(Control.Monad.Primitive.PrimState |
|
(GHC.ST.ST GHC.Prim.RealWorld)) |
|
~R# GHC.Prim.State# GHC.Prim.RealWorld), |
|
(Data.Vector.Primitive.Vector @ Int 0# sc2_sa6L ipv3_i7D6) |
|
`cast` (Sym (Data.Vector.Unboxed.Base.N:R:VectorInt[0]) ; Sym (Data.Vector.Unboxed.Base.D:R:VectorInt0[0]) |
|
:: Data.Vector.Primitive.Vector Int ~R# VU.Vector Int) #) |
|
}; |
|
1# -> |
|
case sc1_sa6M of wild_X1y { |
|
__DEFAULT -> |
|
jump $s$wfoldlM'_loop_sa6P |
|
sc_sa6O (GHC.Prim.+# wild_X1y 1#) sc2_sa6L; |
|
1# -> |
|
case GHC.Prim.writeIntArray# |
|
@ (Control.Monad.Primitive.PrimState |
|
(GHC.ST.ST GHC.Prim.RealWorld)) |
|
ipv1_i7F9 |
|
sc2_sa6L |
|
1# |
|
(sc_sa6O |
|
`cast` ((GHC.Prim.State# |
|
(Sym (Control.Monad.Primitive.D:R:PrimStateST[0] |
|
<GHC.Prim.RealWorld>_N)))_R |
|
:: GHC.Prim.State# GHC.Prim.RealWorld |
|
~R# GHC.Prim.State# |
|
(Control.Monad.Primitive.PrimState |
|
(GHC.ST.ST GHC.Prim.RealWorld)))) |
|
of s'#_i8vO |
|
{ __DEFAULT -> |
|
jump $s$wfoldlM'_loop_sa6P |
|
(s'#_i8vO |
|
`cast` ((GHC.Prim.State# |
|
(Control.Monad.Primitive.D:R:PrimStateST[0] |
|
<GHC.Prim.RealWorld>_N))_R |
|
:: GHC.Prim.State# |
|
(Control.Monad.Primitive.PrimState |
|
(GHC.ST.ST GHC.Prim.RealWorld)) |
|
~R# GHC.Prim.State# GHC.Prim.RealWorld)) |
|
2# |
|
(GHC.Prim.+# sc2_sa6L 1#) |
|
} |
|
} |
|
} |
|
}; } in |
|
jump $s$wfoldlM'_loop_sa6P |
|
(ipv_i7F8 |
|
`cast` ((GHC.Prim.State# |
|
(Control.Monad.Primitive.D:R:PrimStateST[0] |
|
(Nth:0 |
|
(Nth:2 |
|
(Nth:3 |
|
(<GHC.Prim.State# GHC.Prim.RealWorld>_R |
|
->_R ((#,#) |
|
<'GHC.Types.TupleRep '[]>_R |
|
<'GHC.Types.LiftedRep>_R |
|
<GHC.Prim.State# GHC.Prim.RealWorld>_R |
|
(Sub (Sym (Data.Vector.Unboxed.Base.D:R:MutableVector[0])) <Control.Monad.Primitive.PrimState |
|
(GHC.ST.ST |
|
GHC.Prim.RealWorld)>_N <Int>_N))_R))))))_R |
|
:: GHC.Prim.State# |
|
(Control.Monad.Primitive.PrimState (GHC.ST.ST GHC.Prim.RealWorld)) |
|
~R# GHC.Prim.State# GHC.Prim.RealWorld)) |
|
0# |
|
0# |
|
} |
|
|
|
-- RHS size: {terms: 11, types: 47, coercions: 3, joins: 0/0} |
|
Main.main1 |
|
:: GHC.Prim.State# GHC.Prim.RealWorld |
|
-> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) |
|
[GblId, |
|
Arity=1, |
|
Caf=NoCafRefs, |
|
Str=<L,U>, |
|
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, |
|
WorkFree=True, Expandable=True, Guidance=IF_ARGS [0] 40 30}] |
|
Main.main1 |
|
= \ (eta_B1 :: GHC.Prim.State# GHC.Prim.RealWorld) -> |
|
case GHC.Magic.runRW# |
|
@ ('GHC.Types.TupleRep |
|
'[ 'GHC.Types.TupleRep '[], 'GHC.Types.LiftedRep]) |
|
@ (# GHC.Prim.State# GHC.Prim.RealWorld, VU.Vector Int #) |
|
Main.main2 |
|
of |
|
{ (# ipv1_i4F3, ipv2_i4F4 #) -> |
|
case ipv2_i4F4 |
|
`cast` (Data.Vector.Unboxed.Base.D:R:VectorInt0[0] ; Data.Vector.Unboxed.Base.N:R:VectorInt[0] |
|
:: VU.Vector Int ~R# Data.Vector.Primitive.Vector Int) |
|
of |
|
{ Data.Vector.Primitive.Vector ipv_s8ei ipv4_s8ej ipv5_s8ek -> |
|
(# eta_B1, GHC.Tuple.() #) |
|
} |
|
} |
|
|
|
-- RHS size: {terms: 1, types: 0, coercions: 3, joins: 0/0} |
|
main :: IO () |
|
[GblId, |
|
Arity=1, |
|
Caf=NoCafRefs, |
|
Str=<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.N:IO[0] <()>_R) |
|
:: (GHC.Prim.State# GHC.Prim.RealWorld |
|
-> (# GHC.Prim.State# GHC.Prim.RealWorld, () #)) |
|
~R# IO ())}] |
|
main |
|
= Main.main1 |
|
`cast` (Sym (GHC.Types.N:IO[0] <()>_R) |
|
:: (GHC.Prim.State# GHC.Prim.RealWorld |
|
-> (# GHC.Prim.State# GHC.Prim.RealWorld, () #)) |
|
~R# IO ()) |
|
|
|
-- RHS size: {terms: 2, types: 1, coercions: 3, joins: 0/0} |
|
Main.main3 |
|
:: GHC.Prim.State# GHC.Prim.RealWorld |
|
-> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) |
|
[GblId, |
|
Arity=1, |
|
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, |
|
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 60}] |
|
Main.main3 |
|
= GHC.TopHandler.runMainIO1 |
|
@ () |
|
(Main.main1 |
|
`cast` (Sym (GHC.Types.N:IO[0] <()>_R) |
|
:: (GHC.Prim.State# GHC.Prim.RealWorld |
|
-> (# GHC.Prim.State# GHC.Prim.RealWorld, () #)) |
|
~R# IO ())) |
|
|
|
-- RHS size: {terms: 1, types: 0, coercions: 3, joins: 0/0} |
|
:Main.main :: IO () |
|
[GblId, |
|
Arity=1, |
|
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.main3 |
|
`cast` (Sym (GHC.Types.N:IO[0] <()>_R) |
|
:: (GHC.Prim.State# GHC.Prim.RealWorld |
|
-> (# GHC.Prim.State# GHC.Prim.RealWorld, () #)) |
|
~R# IO ())}] |
|
:Main.main |
|
= Main.main3 |
|
`cast` (Sym (GHC.Types.N:IO[0] <()>_R) |
|
:: (GHC.Prim.State# GHC.Prim.RealWorld |
|
-> (# GHC.Prim.State# GHC.Prim.RealWorld, () #)) |
|
~R# IO ()) |
|
|
|
|