diff options
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/T7360.stderr')
| -rw-r--r-- | testsuite/tests/simplCore/should_compile/T7360.stderr | 58 |
1 files changed, 56 insertions, 2 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T7360.stderr b/testsuite/tests/simplCore/should_compile/T7360.stderr index 1cd13301f9..cc8c5a9056 100644 --- a/testsuite/tests/simplCore/should_compile/T7360.stderr +++ b/testsuite/tests/simplCore/should_compile/T7360.stderr @@ -1,6 +1,6 @@ ==================== Tidy Core ==================== -Result size of Tidy Core = {terms: 55, types: 34, coercions: 0} +Result size of Tidy Core = {terms: 82, types: 42, coercions: 0} -- RHS size: {terms: 6, types: 3, coercions: 0} T7360.$WFoo3 [InlPrag=INLINE] :: Int -> Foo @@ -45,6 +45,60 @@ T7360.$trModule :: Module T7360.$trModule = Module T7360.$trModule2 T7360.$trModule1 -- RHS size: {terms: 2, types: 0, coercions: 0} +T7360.$tc'Foo6 :: TrName +[GblId, + Caf=NoCafRefs, + Str=DmdType m1, + Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, + WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 40 20}] +T7360.$tc'Foo6 = TrNameS "'Foo3"# + +-- RHS size: {terms: 5, types: 0, coercions: 0} +T7360.$tc'Foo3 :: TyCon +[GblId[ReflectionId], + Caf=NoCafRefs, + Str=DmdType m, + Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, + WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 50}] +T7360.$tc'Foo3 = TyCon 0## 0## T7360.$trModule T7360.$tc'Foo6 + +-- RHS size: {terms: 2, types: 0, coercions: 0} +T7360.$tc'Foo5 :: TrName +[GblId, + Caf=NoCafRefs, + Str=DmdType m1, + Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, + WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 40 20}] +T7360.$tc'Foo5 = TrNameS "'Foo2"# + +-- RHS size: {terms: 5, types: 0, coercions: 0} +T7360.$tc'Foo2 :: TyCon +[GblId[ReflectionId], + Caf=NoCafRefs, + Str=DmdType m, + Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, + WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 50}] +T7360.$tc'Foo2 = TyCon 0## 0## T7360.$trModule T7360.$tc'Foo5 + +-- RHS size: {terms: 2, types: 0, coercions: 0} +T7360.$tc'Foo4 :: TrName +[GblId, + Caf=NoCafRefs, + Str=DmdType m1, + Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, + WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 40 20}] +T7360.$tc'Foo4 = TrNameS "'Foo1"# + +-- RHS size: {terms: 5, types: 0, coercions: 0} +T7360.$tc'Foo1 :: TyCon +[GblId[ReflectionId], + Caf=NoCafRefs, + Str=DmdType m, + Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, + WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 50}] +T7360.$tc'Foo1 = TyCon 0## 0## T7360.$trModule T7360.$tc'Foo4 + +-- RHS size: {terms: 2, types: 0, coercions: 0} T7360.$tcFoo1 :: TrName [GblId, Caf=NoCafRefs, @@ -84,7 +138,7 @@ T7360.fun4 :: Int WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}] T7360.fun4 = I# 0# --- RHS size: {terms: 16, types: 12, coercions: 0} +-- RHS size: {terms: 16, types: 13, coercions: 0} fun2 :: forall a. [a] -> ((), Int) [GblId, Arity=1, |