diff options
author | Alberto Ruiz <aruiz@um.es> | 2015-04-15 09:53:26 +0200 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2015-04-15 09:53:26 +0200 |
commit | 6ecaa30249548c44199ddbc3cce6f8228b17be5b (patch) | |
tree | 9dfc39f50c2f2c8c6f08569a933d3198813cb8b8 /packages/tests/src/Numeric/LinearAlgebra/Tests/Properties.hs | |
parent | 27dceac51cbd904e06891e583d4b445e691efc8c (diff) |
simplify tests
Diffstat (limited to 'packages/tests/src/Numeric/LinearAlgebra/Tests/Properties.hs')
-rw-r--r-- | packages/tests/src/Numeric/LinearAlgebra/Tests/Properties.hs | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/packages/tests/src/Numeric/LinearAlgebra/Tests/Properties.hs b/packages/tests/src/Numeric/LinearAlgebra/Tests/Properties.hs index 941f747..e2492dd 100644 --- a/packages/tests/src/Numeric/LinearAlgebra/Tests/Properties.hs +++ b/packages/tests/src/Numeric/LinearAlgebra/Tests/Properties.hs | |||
@@ -1,5 +1,4 @@ | |||
1 | {-# LANGUAGE CPP, FlexibleContexts #-} | 1 | {-# LANGUAGE FlexibleContexts #-} |
2 | {-# OPTIONS_GHC -fno-warn-unused-imports #-} | ||
3 | {-# LANGUAGE TypeFamilies #-} | 2 | {-# LANGUAGE TypeFamilies #-} |
4 | 3 | ||
5 | ----------------------------------------------------------------------------- | 4 | ----------------------------------------------------------------------------- |
@@ -44,10 +43,7 @@ module Numeric.LinearAlgebra.Tests.Properties ( | |||
44 | ) where | 43 | ) where |
45 | 44 | ||
46 | import Numeric.LinearAlgebra.HMatrix hiding (Testable)--hiding (real,complex) | 45 | import Numeric.LinearAlgebra.HMatrix hiding (Testable)--hiding (real,complex) |
47 | import Debug.Trace | 46 | import Test.QuickCheck |
48 | import Test.QuickCheck(Arbitrary,arbitrary,coarbitrary,choose,vector | ||
49 | ,sized,classify,Testable,Property | ||
50 | ,quickCheckWith,maxSize,stdArgs,shrink) | ||
51 | 47 | ||
52 | trivial :: Testable a => Bool -> a -> Property | 48 | trivial :: Testable a => Bool -> a -> Property |
53 | trivial = (`classify` "trivial") | 49 | trivial = (`classify` "trivial") |