diff options
Diffstat (limited to 'testsuite/tests/numeric/should_compile/T14170.stdout')
| -rw-r--r-- | testsuite/tests/numeric/should_compile/T14170.stdout | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/testsuite/tests/numeric/should_compile/T14170.stdout b/testsuite/tests/numeric/should_compile/T14170.stdout new file mode 100644 index 0000000000..46a86214a5 --- /dev/null +++ b/testsuite/tests/numeric/should_compile/T14170.stdout @@ -0,0 +1,59 @@ + +==================== Tidy Core ==================== +Result size of Tidy Core + = {terms: 16, types: 6, coercions: 0, joins: 0/0} + +-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} +NatVal.$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}] +NatVal.$trModule4 = "main"# + +-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} +NatVal.$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}] +NatVal.$trModule3 = GHC.Types.TrNameS NatVal.$trModule4 + +-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} +NatVal.$trModule2 :: GHC.Prim.Addr# +[GblId, + Caf=NoCafRefs, + Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, + WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}] +NatVal.$trModule2 = "NatVal"# + +-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} +NatVal.$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}] +NatVal.$trModule1 = GHC.Types.TrNameS NatVal.$trModule2 + +-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} +NatVal.$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}] +NatVal.$trModule + = GHC.Types.Module NatVal.$trModule3 NatVal.$trModule1 + +-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} +foo :: Integer +[GblId, + Caf=NoCafRefs, + Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, + WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}] +foo = 0 + + + |