@@ -1,8 +1,6 @@
1module TutorialDInterpreter where
1module TutorialDInterpreter where
2import RelationType
2import RelationType
4import RelationExpr
3import RelationExpr
6import RelationTerm
4import RelationTerm
7import Text.Parsec
5import Text.Parsec
8import Text.Parsec.String
6import Text.Parsec.String
@@ -12,7 +10,7 @@ import qualified Text.Parsec.Token as Token
12import qualified Data.Set as S
10import qualified Data.Set as S
13import qualified Data.HashSet as HS
11import qualified Data.HashSet as HS
14import qualified Data.Map as M
12import qualified Data.Map as M
15−import Control.Applicative ((<$), (<*), (*>), liftA, liftA2)
13+import Control.Applicative (liftA)
16import Control.Monad.State
14import Control.Monad.State
17import System.Console.Readline
15import System.Console.Readline