diff options
author | Akshay <[email protected]> | 2020-10-16 14:24:46 +0100 |
---|---|---|
committer | Akshay <[email protected]> | 2020-10-16 14:24:46 +0100 |
commit | b19a4a35db4cd951c52e179f3340518c9e2dcc1e (patch) | |
tree | 6d3d840a995d0467577ca645f5838a16d78aa3d6 /tests/Properties.hs | |
parent | 684e09298b8453ee56571d8a225e11d7c57e3746 (diff) |
add initial support for variable definition
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 |