diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2021-10-27 19:12:53 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-10-29 16:58:35 -0400 |
| commit | c8d89f62a32f05bb2f7aa9a8edda4651301cb76f (patch) | |
| tree | e8dc5a5d6b1d2eefb3ee053855caabbfa1467acf /testsuite/tests/numeric | |
| parent | b0a1ed5579a7e80b744d16b0d78d4968284787d9 (diff) | |
| download | haskell-c8d89f62a32f05bb2f7aa9a8edda4651301cb76f.tar.gz | |
Bignum: add missing rule
Add missing "Natural -> Integer -> Word#" rule.
Diffstat (limited to 'testsuite/tests/numeric')
| -rw-r--r-- | testsuite/tests/numeric/should_compile/T15547.stderr | 28 |
1 files changed, 11 insertions, 17 deletions
diff --git a/testsuite/tests/numeric/should_compile/T15547.stderr b/testsuite/tests/numeric/should_compile/T15547.stderr index f7eea977bd..e9dfbd0621 100644 --- a/testsuite/tests/numeric/should_compile/T15547.stderr +++ b/testsuite/tests/numeric/should_compile/T15547.stderr @@ -1,41 +1,35 @@ ==================== Tidy Core ==================== Result size of Tidy Core - = {terms: 40, types: 100, coercions: 56, joins: 0/0} + = {terms: 36, types: 100, coercions: 56, joins: 0/0} nat2Word# = \ @n $dKnownNat _ -> - integerToWord# - (integerFromNatural - ($dKnownNat `cast` <Co:5> :: KnownNat n ~R# Natural)) + naturalToWord# ($dKnownNat `cast` <Co:5> :: KnownNat n ~R# Natural) foo = \ _ -> 18## fd = \ @n $dKnownNat _ -> - integerToWord# - (integerFromNatural - ($dKnownNat - `cast` <Co:13> :: KnownNat (Div (n + 63) 64) ~R# Natural)) + naturalToWord# + ($dKnownNat + `cast` <Co:13> :: KnownNat (Div (n + 63) 64) ~R# Natural) d = \ _ -> 3## fm = \ @n $dKnownNat _ -> - integerToWord# - (integerFromNatural - ($dKnownNat - `cast` <Co:17> :: KnownNat (Mod (n - 1) 64 + 1) ~R# Natural)) + naturalToWord# + ($dKnownNat + `cast` <Co:17> :: KnownNat (Mod (n - 1) 64 + 1) ~R# Natural) m = \ _ -> 9## fp = \ @n $dKnownNat _ -> - integerToWord# - (integerFromNatural - ($dKnownNat - `cast` <Co:21> :: KnownNat (2 ^ (Mod (n + 63) 64 + 1)) - ~R# Natural)) + naturalToWord# + ($dKnownNat + `cast` <Co:21> :: KnownNat (2 ^ (Mod (n + 63) 64 + 1)) ~R# Natural) p = \ _ -> 512## |