diff options
| author | Andreas Klebinger <klebinger.andreas@gmx.at> | 2022-07-14 23:14:40 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-08-02 19:26:51 -0400 |
| commit | aeb8497d18c12e5e05efa0513a2a0da275082ab5 (patch) | |
| tree | 77ab1ec5ece4edc8a50fa7a246c44876c2c61ec8 /testsuite/tests/numeric | |
| parent | f29121438a4d6ee885373e32f24eaf85ffd167e1 (diff) | |
| download | haskell-aeb8497d18c12e5e05efa0513a2a0da275082ab5.tar.gz | |
Add -dsuppress-coercion-types to make coercions even smaller.
Instead of `` `cast` <Co:11> :: (Some -> Really -> Large Type)``
simply print `` `cast` <Co:11> :: ... ``
Diffstat (limited to 'testsuite/tests/numeric')
| -rw-r--r-- | testsuite/tests/numeric/should_compile/T15547.stderr | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/testsuite/tests/numeric/should_compile/T15547.stderr b/testsuite/tests/numeric/should_compile/T15547.stderr index e9dfbd0621..8560c4a8be 100644 --- a/testsuite/tests/numeric/should_compile/T15547.stderr +++ b/testsuite/tests/numeric/should_compile/T15547.stderr @@ -5,31 +5,25 @@ Result size of Tidy Core nat2Word# = \ @n $dKnownNat _ -> - naturalToWord# ($dKnownNat `cast` <Co:5> :: KnownNat n ~R# Natural) + naturalToWord# ($dKnownNat `cast` <Co:5> :: ...) foo = \ _ -> 18## fd = \ @n $dKnownNat _ -> - naturalToWord# - ($dKnownNat - `cast` <Co:13> :: KnownNat (Div (n + 63) 64) ~R# Natural) + naturalToWord# ($dKnownNat `cast` <Co:13> :: ...) d = \ _ -> 3## fm = \ @n $dKnownNat _ -> - naturalToWord# - ($dKnownNat - `cast` <Co:17> :: KnownNat (Mod (n - 1) 64 + 1) ~R# Natural) + naturalToWord# ($dKnownNat `cast` <Co:17> :: ...) m = \ _ -> 9## fp = \ @n $dKnownNat _ -> - naturalToWord# - ($dKnownNat - `cast` <Co:21> :: KnownNat (2 ^ (Mod (n + 63) 64 + 1)) ~R# Natural) + naturalToWord# ($dKnownNat `cast` <Co:21> :: ...) p = \ _ -> 512## |