diff options
Diffstat (limited to 'testsuite/tests/numeric/should_compile/T14465.stdout')
-rw-r--r-- | testsuite/tests/numeric/should_compile/T14465.stdout | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/numeric/should_compile/T14465.stdout b/testsuite/tests/numeric/should_compile/T14465.stdout index 936507532a..df97060635 100644 --- a/testsuite/tests/numeric/should_compile/T14465.stdout +++ b/testsuite/tests/numeric/should_compile/T14465.stdout @@ -98,7 +98,7 @@ plusOne :: Natural -> Natural plusOne = \ (n :: Natural) -> plusNatural n M.minusOne1 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} -one [InlPrag=NOUSERINLINE[2]] :: Natural +one :: Natural [GblId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, |