aboutsummaryrefslogtreecommitdiff
path: root/tests/Properties.hs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/Properties.hs')
-rw-r--r--tests/Properties.hs5
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 #-}
2module Properties ( 2module Properties (runTests) where
3 runTests
4 ) where
5 3
6import Data.Maybe (fromJust) 4import Data.Maybe (fromJust)
7import Error.Base (unwrap) 5import Error.Base (unwrap)
@@ -10,7 +8,6 @@ import Operators (primitives)
10import Parser (Expr (..), parseLispValue, parseQuote) 8import Parser (Expr (..), parseLispValue, parseQuote)
11import Test.QuickCheck 9import Test.QuickCheck
12 10
13
14prop_commutativeAdd :: [Integer] -> Property 11prop_commutativeAdd :: [Integer] -> Property
15prop_commutativeAdd xs = 12prop_commutativeAdd xs =
16 not (null xs) ==> rhs == lhs 13 not (null xs) ==> rhs == lhs