diff options
Diffstat (limited to 'testsuite/tests/numeric/should_compile/T15547.stderr')
-rw-r--r-- | testsuite/tests/numeric/should_compile/T15547.stderr | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/testsuite/tests/numeric/should_compile/T15547.stderr b/testsuite/tests/numeric/should_compile/T15547.stderr new file mode 100644 index 0000000000..f7eea977bd --- /dev/null +++ b/testsuite/tests/numeric/should_compile/T15547.stderr @@ -0,0 +1,43 @@ + +==================== Tidy Core ==================== +Result size of Tidy Core + = {terms: 40, types: 100, coercions: 56, joins: 0/0} + +nat2Word# + = \ @n $dKnownNat _ -> + integerToWord# + (integerFromNatural + ($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)) + +d = \ _ -> 3## + +fm + = \ @n $dKnownNat _ -> + integerToWord# + (integerFromNatural + ($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)) + +p = \ _ -> 512## + + + |