diff options
Diffstat (limited to 'testsuite/tests/arityanal/should_compile/Arity08.stderr')
-rw-r--r-- | testsuite/tests/arityanal/should_compile/Arity08.stderr | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/testsuite/tests/arityanal/should_compile/Arity08.stderr b/testsuite/tests/arityanal/should_compile/Arity08.stderr new file mode 100644 index 0000000000..1f2f6c0fa4 --- /dev/null +++ b/testsuite/tests/arityanal/should_compile/Arity08.stderr @@ -0,0 +1,29 @@ + +==================== Tidy Core ==================== +Result size of Tidy Core = {terms: 23, types: 20, coercions: 0, joins: 0/0} + +-- RHS size: {terms: 20, types: 11, coercions: 0, joins: 0/0} +f8f :: forall {p}. Num p => Bool -> p -> p -> p +[GblId, + Arity=4, + Str=<L,U(C(C1(U)),A,1*C1(C1(U)),A,A,A,A)><S,1*U><L,U><L,U>, + Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=4,unsat_ok=True,boring_ok=False) + Tmpl= \ (@p) ($dNum :: Num p) (b [Occ=Once1!] :: Bool) (x :: p) (y [Occ=Once2] :: p) -> + case b of { + False -> + @p $dNum (+ @p $dNum x y) (* @p $dNum x x); + True -> y + }}] +f8f + = \ (@p) ($dNum :: Num p) (b :: Bool) (x :: p) (y :: p) -> + case b of { + False -> + @p $dNum (+ @p $dNum x y) (* @p $dNum x x); + True -> y + } + +-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} +f8 :: Integer +[GblId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}] +f8 = 2 + + + |