Untitled diff

Created Diff never expires
33 removals
46 lines
38 additions
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];