diff options
| author | Sidharth Kapur <sidharthkapur1@gmail.com> | 2016-03-13 17:28:58 -0500 |
|---|---|---|
| committer | Sidharth Kapur <sidharthkapur1@gmail.com> | 2016-03-13 17:28:58 -0500 |
| commit | 80e88bbb1fef8b904e5e01d3ca6cc35a97339cda (patch) | |
| tree | 9c3b7331f40b3fa773de7ce1f09460c58c8e272f /packages/tests/src/Numeric/LinearAlgebra | |
| parent | 7a861a58211a0fb020dca2db2767de24538648b7 (diff) | |
Small change to test code
Diffstat (limited to 'packages/tests/src/Numeric/LinearAlgebra')
| -rw-r--r-- | packages/tests/src/Numeric/LinearAlgebra/Tests/Instances.hs | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/packages/tests/src/Numeric/LinearAlgebra/Tests/Instances.hs b/packages/tests/src/Numeric/LinearAlgebra/Tests/Instances.hs index 3211877..37f7da2 100644 --- a/packages/tests/src/Numeric/LinearAlgebra/Tests/Instances.hs +++ b/packages/tests/src/Numeric/LinearAlgebra/Tests/Instances.hs | |||
| @@ -56,11 +56,9 @@ instance KnownNat n => Arbitrary (Static.R n) where | |||
| 56 | l <- vector n | 56 | l <- vector n |
| 57 | return (Static.fromList l) | 57 | return (Static.fromList l) |
| 58 | 58 | ||
| 59 | where proxy :: Proxy n | 59 | where |
| 60 | proxy = proxy | 60 | n :: Int |
| 61 | 61 | n = fromIntegral (natVal (Proxy :: Proxy n)) | |
| 62 | n :: Int | ||
| 63 | n = fromIntegral (natVal proxy) | ||
| 64 | 62 | ||
| 65 | shrink v = [] | 63 | shrink v = [] |
| 66 | 64 | ||