From 82a64ef64602227daefc3ff96908d6c1b2303b61 Mon Sep 17 00:00:00 2001 From: Akshay Date: Wed, 14 Oct 2020 14:15:45 +0530 Subject: add PBTs for arithmetic operators - commutativity of addition - commutativity of multiplication --- src/Error/Base.hs | 3 --- 1 file changed, 3 deletions(-) (limited to 'src') diff --git a/src/Error/Base.hs b/src/Error/Base.hs index b6ae9a3..509377b 100644 --- a/src/Error/Base.hs +++ b/src/Error/Base.hs @@ -5,12 +5,9 @@ module Error.Base ( ) where import Control.Monad.Except -import Data.List (intercalate, nub) import Parser import Text.Parsec import Text.Parsec.Error -import Text.Parsec.Pos -import Text.Parsec.String (Parser) import Text.ParserCombinators.Parsec data LispError = Parse ParseError -- cgit v1.2.3