aboutsummaryrefslogtreecommitdiff
path: root/tests/Properties.hs
diff options
context:
space:
mode:
authorAkshay <[email protected]>2020-10-16 14:24:46 +0100
committerAkshay <[email protected]>2020-10-16 14:24:46 +0100
commitb19a4a35db4cd951c52e179f3340518c9e2dcc1e (patch)
tree6d3d840a995d0467577ca645f5838a16d78aa3d6 /tests/Properties.hs
parent684e09298b8453ee56571d8a225e11d7c57e3746 (diff)
add initial support for variable definition
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