diff options
Diffstat (limited to 'testsuite/tests/numeric/should_compile/T14465.stdout')
| -rw-r--r-- | testsuite/tests/numeric/should_compile/T14465.stdout | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/testsuite/tests/numeric/should_compile/T14465.stdout b/testsuite/tests/numeric/should_compile/T14465.stdout index 1eb5182a6c..579349af47 100644 --- a/testsuite/tests/numeric/should_compile/T14465.stdout +++ b/testsuite/tests/numeric/should_compile/T14465.stdout @@ -1,14 +1,14 @@ ==================== Tidy Core ==================== Result size of Tidy Core - = {terms: 39, types: 19, coercions: 0, joins: 0/0} + = {terms: 40, types: 17, coercions: 0, joins: 0/0} --- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} +-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} ten :: Natural [GblId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, - WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}] -ten = 10 + WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}] +ten = GHC.Num.Natural.NS 10## -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} M.$trModule4 :: GHC.Prim.Addr# @@ -52,19 +52,19 @@ M.minusOne1 :: Natural WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}] M.minusOne1 = 1 --- RHS size: {terms: 11, types: 6, coercions: 0, joins: 0/0} +-- RHS size: {terms: 11, types: 4, coercions: 0, joins: 0/0} minusOne :: Natural [GblId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False, WorkFree=True, Expandable=False, Guidance=IF_ARGS [] 40 0}] minusOne - = case M.minusOne1 of { - NatS# ds1 -> + = case M.minusOne1 of wild { + NS ds1 -> case ds1 of { - __DEFAULT -> GHC.Natural.underflowError @Natural; - 0## -> GHC.Natural.zero + __DEFAULT -> GHC.Num.$fNumNatural1; + 0## -> wild }; - NatJ# ipv -> GHC.Natural.underflowError @Natural + NB ipv -> GHC.Num.$fNumNatural1 } -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} @@ -78,12 +78,12 @@ twoTimesTwo = 4 plusOne :: Natural -> Natural [GblId, Arity=1, - Str=<S,U>, + Str=<S,1*U>, Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False) - Tmpl= \ (n [Occ=Once] :: Natural) -> plusNatural n M.minusOne1}] -plusOne = \ (n :: Natural) -> plusNatural n M.minusOne1 + Tmpl= \ (n [Occ=Once] :: Natural) -> naturalAdd n M.minusOne1}] +plusOne = \ (n :: Natural) -> naturalAdd n M.minusOne1 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} one :: Natural |