diff options
Diffstat (limited to 'testsuite/tests/arityanal/should_compile/Arity06.stderr')
| -rw-r--r-- | testsuite/tests/arityanal/should_compile/Arity06.stderr | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/testsuite/tests/arityanal/should_compile/Arity06.stderr b/testsuite/tests/arityanal/should_compile/Arity06.stderr index 50a1ddc76b..88240eea38 100644 --- a/testsuite/tests/arityanal/should_compile/Arity06.stderr +++ b/testsuite/tests/arityanal/should_compile/Arity06.stderr @@ -1,28 +1,20 @@ ==================== Tidy Core ==================== -Result size of Tidy Core = {terms: 14, types: 22, coercions: 0, joins: 0/0} +Result size of Tidy Core = {terms: 14, types: 18, coercions: 0, joins: 0/0} -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} F6.f6f1 :: Integer [GblId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}] F6.f6f1 = 0 --- RHS size: {terms: 7, types: 8, coercions: 0, joins: 0/0} +-- RHS size: {terms: 7, types: 6, coercions: 0, joins: 0/0} f6f :: forall {t1} {t2}. (t1 -> Integer -> t2) -> t1 -> t2 -[GblId, - Arity=2, - Str=<C(C(S)),1*C1(C1(U))><L,U>, - Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=True) - Tmpl= \ (@t) (@t1) (h [Occ=Once1!] :: t -> Integer -> t1) (x [Occ=Once1] :: t) -> h x F6.f6f1}] +[GblId, Arity=2, Str=<1C1(C1(L))><L>, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=True)}] f6f = \ (@t) (@t1) (h :: t -> Integer -> t1) (x :: t) -> h x F6.f6f1 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} f6t :: Integer -> Integer -> Integer -[GblId, - Arity=2, - Str=<S,1*U><S,U>, - Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True) - Tmpl= GHC.Num.Integer.integerAdd}] +[GblId, Arity=2, Str=<1L><SL>, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}] f6t = GHC.Num.Integer.integerAdd -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} |