Untitled diff

Created Diff never expires
33 removals
Lines
Total
Removed
Words
Total
Removed
To continue using this feature, upgrade to
Diffchecker logo
Diffchecker Pro
46 lines
39 additions
Lines
Total
Added
Words
Total
Added
To continue using this feature, upgrade to
Diffchecker logo
Diffchecker Pro
51 lines


==================== STG syntax: ====================
==================== STG syntax: ====================
2017-02-14 17:08:24.6957193 UTC
2017-02-14 17:09:01.1241395 UTC

HxpT.T01_PrimAdd.testX2 :: GHC.Integer.Type.Integer
[GblId, Caf=NoCafRefs, Str=DmdType, Unf=OtherCon []] =
NO_CCS GHC.Integer.Type.S#! [4#];

HxpT.T01_PrimAdd.testX1 :: GHC.Integer.Type.Integer
[GblId, Caf=NoCafRefs, Str=DmdType, Unf=OtherCon []] =
NO_CCS GHC.Integer.Type.S#! [5#];


HxpT.T01_PrimAdd.testX
HxpT.T01_PrimAdd.testX
:: forall a_ap5. GHC.Num.Num a_ap5 => a_ap5 -> a_ap5
:: forall a_aqn. GHC.Num.Num a_aqn => a_aqn -> a_aqn
[GblId, Arity=2, Caf=NoCafRefs, Str=DmdType, Unf=OtherCon []] =
[GblId,
\r srt:SRT:[] [$dNum_sGM input_sGN]
Arity=2,
Caf=NoCafRefs,
Str=DmdType <S(LLC(C(S))LLLL),U(1*C1(C1(U)),A,1*C1(C1(U)),A,A,A,C(U))><L,U>,
Unf=OtherCon []] =
\r srt:SRT:[] [$dNum_sIx input_sIy]
let {
let {
sat_sH0 [Occ=Once] :: a_ap5
sat_sIB [Occ=Once] :: a_aqn
[LclId, Str=DmdType] =
[LclId, Str=DmdType] =
\u srt:SRT:[] []
\u srt:SRT:[] []
let {
GHC.Num.fromInteger $dNum_sIx HxpT.T01_PrimAdd.testX1; } in
sat_sGZ [Occ=Once] :: GHC.Integer.Type.Integer
[LclId, Str=DmdType] =
NO_CCS GHC.Integer.Type.S#! [4#];
} in GHC.Num.fromInteger $dNum_sGM sat_sGZ; } in
let {
let {
sat_sGY [Occ=Once] :: a_ap5
sat_sIA [Occ=Once] :: a_aqn
[LclId, Str=DmdType] =
[LclId, Str=DmdType] =
\u srt:SRT:[] []
\u srt:SRT:[] []
let {
let {
sat_sGX [Occ=Once] :: a_ap5
sat_sIz [Occ=Once] :: a_aqn
[LclId, Str=DmdType] =
[LclId, Str=DmdType] =
\u srt:SRT:[] []
\u srt:SRT:[] []
let {
GHC.Num.fromInteger $dNum_sIx HxpT.T01_PrimAdd.testX2;
sat_sGW [Occ=Once] :: GHC.Integer.Type.Integer
} in GHC.Num.+ $dNum_sIx sat_sIz input_sIy;
[LclId, Str=DmdType] =
} in GHC.Num.* $dNum_sIx sat_sIA sat_sIB;
NO_CCS GHC.Integer.Type.S#! [5#];
} in GHC.Num.fromInteger $dNum_sGM sat_sGW;
} in GHC.Num.+ $dNum_sGM sat_sGX input_sGN;
} in GHC.Num.* $dNum_sGM sat_sGY sat_sH0;


$trModule1_rGy :: GHC.Types.TrName
HxpT.T01_PrimAdd.$trModule2 :: GHC.Types.TrName
[GblId, Caf=NoCafRefs, Str=DmdType, Unf=OtherCon []] =
[GblId, Caf=NoCafRefs, Str=DmdType m1, Unf=OtherCon []] =
NO_CCS GHC.Types.TrNameS! ["haxpile-apptests-0.1.0.0-LwFh6duZW19L5zglSFlHJU"#];
NO_CCS GHC.Types.TrNameS! ["haxpile-apptests-0.1.0.0-LwFh6duZW19L5zglSFlHJU"#];


$trModule2_rGI :: GHC.Types.TrName
HxpT.T01_PrimAdd.$trModule1 :: GHC.Types.TrName
[GblId, Caf=NoCafRefs, Str=DmdType, Unf=OtherCon []] =
[GblId, Caf=NoCafRefs, Str=DmdType m1, Unf=OtherCon []] =
NO_CCS GHC.Types.TrNameS! ["HxpT.T01_PrimAdd"#];
NO_CCS GHC.Types.TrNameS! ["HxpT.T01_PrimAdd"#];


HxpT.T01_PrimAdd.$trModule :: GHC.Types.Module
HxpT.T01_PrimAdd.$trModule :: GHC.Types.Module
[GblId, Caf=NoCafRefs, Str=DmdType, Unf=OtherCon []] =
[GblId, Caf=NoCafRefs, Str=DmdType m, Unf=OtherCon []] =
NO_CCS GHC.Types.Module! [$trModule1_rGy $trModule2_rGI];
NO_CCS GHC.Types.Module! [HxpT.T01_PrimAdd.$trModule2
HxpT.T01_PrimAdd.$trModule1];