summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore/should_compile/T7360.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/T7360.stderr')
-rw-r--r--testsuite/tests/simplCore/should_compile/T7360.stderr47
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,