diff options
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/T7360.stderr')
-rw-r--r-- | testsuite/tests/simplCore/should_compile/T7360.stderr | 47 |
1 files changed, 24 insertions, 23 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T7360.stderr b/testsuite/tests/simplCore/should_compile/T7360.stderr index 2e387b27bc..b35c39931c 100644 --- a/testsuite/tests/simplCore/should_compile/T7360.stderr +++ b/testsuite/tests/simplCore/should_compile/T7360.stderr @@ -1,8 +1,9 @@ ==================== Tidy Core ==================== -Result size of Tidy Core = {terms: 94, types: 48, coercions: 0} +Result size of Tidy Core + = {terms: 94, types: 48, coercions: 0, joins: 0/0} --- RHS size: {terms: 6, types: 3, coercions: 0} +-- RHS size: {terms: 6, types: 3, coercions: 0, joins: 0/0} T7360.$WFoo3 [InlPrag=INLINE] :: Int -> Foo [GblId[DataConWrapper], Arity=1, @@ -17,19 +18,19 @@ T7360.$WFoo3 = \ (dt [Occ=Once!] :: Int) -> case dt of { GHC.Types.I# dt [Occ=Once] -> T7360.Foo3 dt } --- RHS size: {terms: 5, types: 2, coercions: 0} +-- RHS size: {terms: 5, types: 2, coercions: 0, joins: 0/0} fun1 [InlPrag=NOINLINE] :: Foo -> () [GblId, Arity=1, Caf=NoCafRefs, Str=<S,1*U>] fun1 = \ (x :: Foo) -> case x of { __DEFAULT -> GHC.Tuple.() } --- RHS size: {terms: 2, types: 0, coercions: 0} +-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} T7360.fun5 :: () [GblId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False, WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}] T7360.fun5 = fun1 T7360.Foo1 --- RHS size: {terms: 2, types: 0, coercions: 0} +-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} T7360.fun4 :: Int [GblId, Caf=NoCafRefs, @@ -38,7 +39,7 @@ T7360.fun4 :: Int WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}] T7360.fun4 = GHC.Types.I# 0# --- RHS size: {terms: 16, types: 13, coercions: 0} +-- RHS size: {terms: 16, types: 13, coercions: 0, joins: 0/0} fun2 :: forall a. [a] -> ((), Int) [GblId, Arity=1, @@ -66,7 +67,7 @@ fun2 = } }) --- RHS size: {terms: 1, types: 0, coercions: 0} +-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} T7360.$trModule4 :: GHC.Prim.Addr# [GblId, Caf=NoCafRefs, @@ -74,7 +75,7 @@ T7360.$trModule4 :: GHC.Prim.Addr# WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}] T7360.$trModule4 = "main"# --- RHS size: {terms: 2, types: 0, coercions: 0} +-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} T7360.$trModule3 :: GHC.Types.TrName [GblId, Caf=NoCafRefs, @@ -83,7 +84,7 @@ T7360.$trModule3 :: GHC.Types.TrName WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}] T7360.$trModule3 = GHC.Types.TrNameS T7360.$trModule4 --- RHS size: {terms: 1, types: 0, coercions: 0} +-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} T7360.$trModule2 :: GHC.Prim.Addr# [GblId, Caf=NoCafRefs, @@ -91,7 +92,7 @@ T7360.$trModule2 :: GHC.Prim.Addr# WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}] T7360.$trModule2 = "T7360"# --- RHS size: {terms: 2, types: 0, coercions: 0} +-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} T7360.$trModule1 :: GHC.Types.TrName [GblId, Caf=NoCafRefs, @@ -100,7 +101,7 @@ T7360.$trModule1 :: GHC.Types.TrName WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}] T7360.$trModule1 = GHC.Types.TrNameS T7360.$trModule2 --- RHS size: {terms: 3, types: 0, coercions: 0} +-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} T7360.$trModule :: GHC.Types.Module [GblId, Caf=NoCafRefs, @@ -110,7 +111,7 @@ T7360.$trModule :: GHC.Types.Module T7360.$trModule = GHC.Types.Module T7360.$trModule3 T7360.$trModule1 --- RHS size: {terms: 1, types: 0, coercions: 0} +-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} T7360.$tc'Foo9 :: GHC.Prim.Addr# [GblId, Caf=NoCafRefs, @@ -118,7 +119,7 @@ T7360.$tc'Foo9 :: GHC.Prim.Addr# WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}] T7360.$tc'Foo9 = "'Foo3"# --- RHS size: {terms: 2, types: 0, coercions: 0} +-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} T7360.$tc'Foo8 :: GHC.Types.TrName [GblId, Caf=NoCafRefs, @@ -127,7 +128,7 @@ T7360.$tc'Foo8 :: GHC.Types.TrName WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}] T7360.$tc'Foo8 = GHC.Types.TrNameS T7360.$tc'Foo9 --- RHS size: {terms: 5, types: 0, coercions: 0} +-- RHS size: {terms: 5, types: 0, coercions: 0, joins: 0/0} T7360.$tc'Foo3 :: GHC.Types.TyCon [GblId, Caf=NoCafRefs, @@ -141,7 +142,7 @@ T7360.$tc'Foo3 = T7360.$trModule T7360.$tc'Foo8 --- RHS size: {terms: 1, types: 0, coercions: 0} +-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} T7360.$tc'Foo7 :: GHC.Prim.Addr# [GblId, Caf=NoCafRefs, @@ -149,7 +150,7 @@ T7360.$tc'Foo7 :: GHC.Prim.Addr# WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}] T7360.$tc'Foo7 = "'Foo2"# --- RHS size: {terms: 2, types: 0, coercions: 0} +-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} T7360.$tc'Foo6 :: GHC.Types.TrName [GblId, Caf=NoCafRefs, @@ -158,7 +159,7 @@ T7360.$tc'Foo6 :: GHC.Types.TrName WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}] T7360.$tc'Foo6 = GHC.Types.TrNameS T7360.$tc'Foo7 --- RHS size: {terms: 5, types: 0, coercions: 0} +-- RHS size: {terms: 5, types: 0, coercions: 0, joins: 0/0} T7360.$tc'Foo2 :: GHC.Types.TyCon [GblId, Caf=NoCafRefs, @@ -172,7 +173,7 @@ T7360.$tc'Foo2 = T7360.$trModule T7360.$tc'Foo6 --- RHS size: {terms: 1, types: 0, coercions: 0} +-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} T7360.$tc'Foo5 :: GHC.Prim.Addr# [GblId, Caf=NoCafRefs, @@ -180,7 +181,7 @@ T7360.$tc'Foo5 :: GHC.Prim.Addr# WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}] T7360.$tc'Foo5 = "'Foo1"# --- RHS size: {terms: 2, types: 0, coercions: 0} +-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} T7360.$tc'Foo4 :: GHC.Types.TrName [GblId, Caf=NoCafRefs, @@ -189,7 +190,7 @@ T7360.$tc'Foo4 :: GHC.Types.TrName WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}] T7360.$tc'Foo4 = GHC.Types.TrNameS T7360.$tc'Foo5 --- RHS size: {terms: 5, types: 0, coercions: 0} +-- RHS size: {terms: 5, types: 0, coercions: 0, joins: 0/0} T7360.$tc'Foo1 :: GHC.Types.TyCon [GblId, Caf=NoCafRefs, @@ -203,7 +204,7 @@ T7360.$tc'Foo1 = T7360.$trModule T7360.$tc'Foo4 --- RHS size: {terms: 1, types: 0, coercions: 0} +-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} T7360.$tcFoo2 :: GHC.Prim.Addr# [GblId, Caf=NoCafRefs, @@ -211,7 +212,7 @@ T7360.$tcFoo2 :: GHC.Prim.Addr# WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}] T7360.$tcFoo2 = "Foo"# --- RHS size: {terms: 2, types: 0, coercions: 0} +-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} T7360.$tcFoo1 :: GHC.Types.TrName [GblId, Caf=NoCafRefs, @@ -220,7 +221,7 @@ T7360.$tcFoo1 :: GHC.Types.TrName WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}] T7360.$tcFoo1 = GHC.Types.TrNameS T7360.$tcFoo2 --- RHS size: {terms: 5, types: 0, coercions: 0} +-- RHS size: {terms: 5, types: 0, coercions: 0, joins: 0/0} T7360.$tcFoo :: GHC.Types.TyCon [GblId, Caf=NoCafRefs, |