diff options
Diffstat (limited to 'tests/Properties.hs')
-rw-r--r-- | tests/Properties.hs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs index 03a7e9a..867d0e9 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs | |||
@@ -1,7 +1,5 @@ | |||
1 | {-# LANGUAGE TemplateHaskell #-} | 1 | {-# LANGUAGE TemplateHaskell #-} |
2 | module Properties ( | 2 | module Properties (runTests) where |
3 | runTests | ||
4 | ) where | ||
5 | 3 | ||
6 | import Data.Maybe (fromJust) | 4 | import Data.Maybe (fromJust) |
7 | import Error.Base (unwrap) | 5 | import Error.Base (unwrap) |
@@ -10,7 +8,6 @@ import Operators (primitives) | |||
10 | import Parser (Expr (..), parseLispValue, parseQuote) | 8 | import Parser (Expr (..), parseLispValue, parseQuote) |
11 | import Test.QuickCheck | 9 | import Test.QuickCheck |
12 | 10 | ||
13 | |||
14 | prop_commutativeAdd :: [Integer] -> Property | 11 | prop_commutativeAdd :: [Integer] -> Property |
15 | prop_commutativeAdd xs = | 12 | prop_commutativeAdd xs = |
16 | not (null xs) ==> rhs == lhs | 13 | not (null xs) ==> rhs == lhs |