diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-04-26 18:03:35 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-04-30 16:55:32 -0400 |
| commit | 34b2820018ee05336be061aabea7d421bdd49ab9 (patch) | |
| tree | 66d11f2561838c23c81d5143a702cb23769df6d8 /testsuite/tests/numeric | |
| parent | d0f14fadd41f7bf032c48c3eceeaff3a85318426 (diff) | |
| download | haskell-34b2820018ee05336be061aabea7d421bdd49ab9.tar.gz | |
Revert "Make the specialiser handle polymorphic specialisation"
This reverts commit ef0135934fe32da5b5bb730dbce74262e23e72e8.
See ticket #21229
-------------------------
Metric Decrease:
T15164
Metric Increase:
T13056
-------------------------
Diffstat (limited to 'testsuite/tests/numeric')
| -rw-r--r-- | testsuite/tests/numeric/should_compile/T19641.stderr | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/testsuite/tests/numeric/should_compile/T19641.stderr b/testsuite/tests/numeric/should_compile/T19641.stderr index b79d0217ee..8f6e3696be 100644 --- a/testsuite/tests/numeric/should_compile/T19641.stderr +++ b/testsuite/tests/numeric/should_compile/T19641.stderr @@ -3,13 +3,6 @@ Result size of Tidy Core = {terms: 22, types: 20, coercions: 0, joins: 0/0} -natural_to_word - = \ x -> - case x of { - NS x1 -> Just (W# x1); - NB ds -> Nothing - } - integer_to_int = \ x -> case x of { @@ -18,15 +11,22 @@ integer_to_int IN ds -> Nothing } +natural_to_word + = \ x -> + case x of { + NS x1 -> Just (W# x1); + NB ds -> Nothing + } + ------ Local rules for imported ids -------- -"SPEC/Test toIntegralSized @Integer @Int" - forall $dIntegral $dIntegral1 $dBits $dBits1. - toIntegralSized $dIntegral $dIntegral1 $dBits $dBits1 - = integer_to_int "SPEC/Test toIntegralSized @Natural @Word" forall $dIntegral $dIntegral1 $dBits $dBits1. toIntegralSized $dIntegral $dIntegral1 $dBits $dBits1 = natural_to_word +"SPEC/Test toIntegralSized @Integer @Int" + forall $dIntegral $dIntegral1 $dBits $dBits1. + toIntegralSized $dIntegral $dIntegral1 $dBits $dBits1 + = integer_to_int |