diff options
Diffstat (limited to 'testsuite/tests/numeric/should_compile/T15547.stderr')
| -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## |