aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAkshay <[email protected]>2020-10-14 09:45:45 +0100
committerAkshay <[email protected]>2020-10-14 09:45:45 +0100
commit82a64ef64602227daefc3ff96908d6c1b2303b61 (patch)
tree0c4604f2216c148ad0bd010153e56c9173e08361 /src
parent8b08ea946d1fc73d8363efb633b8063f750520bf (diff)
add PBTs for arithmetic operators
- commutativity of addition - commutativity of multiplication
Diffstat (limited to 'src')
-rw-r--r--src/Error/Base.hs3
1 files changed, 0 insertions, 3 deletions
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 (
5 ) where 5 ) where
6 6
7import Control.Monad.Except 7import Control.Monad.Except
8import Data.List (intercalate, nub)
9import Parser 8import Parser
10import Text.Parsec 9import Text.Parsec
11import Text.Parsec.Error 10import Text.Parsec.Error
12import Text.Parsec.Pos
13import Text.Parsec.String (Parser)
14import Text.ParserCombinators.Parsec 11import Text.ParserCombinators.Parsec
15 12
16data LispError = Parse ParseError 13data LispError = Parse ParseError