From b19a4a35db4cd951c52e179f3340518c9e2dcc1e Mon Sep 17 00:00:00 2001 From: Akshay Date: Fri, 16 Oct 2020 18:54:46 +0530 Subject: add initial support for variable definition --- tests/Properties.hs | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'tests') 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 @@ {-# LANGUAGE TemplateHaskell #-} -module Properties ( - runTests - ) where +module Properties (runTests) where import Data.Maybe (fromJust) import Error.Base (unwrap) @@ -10,7 +8,6 @@ import Operators (primitives) import Parser (Expr (..), parseLispValue, parseQuote) import Test.QuickCheck - prop_commutativeAdd :: [Integer] -> Property prop_commutativeAdd xs = not (null xs) ==> rhs == lhs -- cgit v1.2.3