From 746f828fd6ccd0af566063877c46b37e8cfe7f7b Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Mon, 10 Dec 2018 13:33:17 +0100
Subject: [PATCH] Fix tests
---
tests/Copar/Algorithm/SplitSpec.hs | 1 -
tests/Copar/Coalgebra/ParserSpec.hs | 2 +-
tests/Copar/Functors/AbsorbingPolynomialSpec.hs | 2 +-
tests/Copar/Functors/GroupValuedSpec.hs | 2 +-
tests/Copar/Functors/MonoidValuedSpec.hs | 2 +-
5 files changed, 4 insertions(+), 5 deletions(-)
diff --git a/tests/Copar/Algorithm/SplitSpec.hs b/tests/Copar/Algorithm/SplitSpec.hs
index 3b3b2f3..a8d26c4 100644
--- a/tests/Copar/Algorithm/SplitSpec.hs
+++ b/tests/Copar/Algorithm/SplitSpec.hs
@@ -20,7 +20,6 @@ import Data.MorphismEncoding ( fromEdgeRef
)
import qualified Data.MorphismEncoding as Encoding
import Copar.RefinementInterface
-import Copar.Coalgebra.RefinementTypes
import Copar.Algorithm.Initialize
import qualified Data.BlockQueue as Queue
import Copar.Functors.Powerset
diff --git a/tests/Copar/Coalgebra/ParserSpec.hs b/tests/Copar/Coalgebra/ParserSpec.hs
index 12093d2..a338273 100644
--- a/tests/Copar/Coalgebra/ParserSpec.hs
+++ b/tests/Copar/Coalgebra/ParserSpec.hs
@@ -20,7 +20,7 @@ import qualified Data.HashMap.Strict as HM
import Data.MorphismEncoding (Encoding)
import qualified Data.MorphismEncoding as Encoding
import Copar.Coalgebra.Parser
-import Copar.Coalgebra.RefinementTypes
+import Copar.RefinementInterface
import Copar.FunctorExpression.Sorts (Sort, Sorted(..))
import Copar.FunctorExpression.Type
import Copar.Parser.Lexer
diff --git a/tests/Copar/Functors/AbsorbingPolynomialSpec.hs b/tests/Copar/Functors/AbsorbingPolynomialSpec.hs
index 3c2debb..bbc10bc 100644
--- a/tests/Copar/Functors/AbsorbingPolynomialSpec.hs
+++ b/tests/Copar/Functors/AbsorbingPolynomialSpec.hs
@@ -22,7 +22,7 @@ import Copar.FunctorExpression.Desorting
import Copar.FunctorExpression.Type
import Copar.Functors.AbsorbingPolynomial
import Copar.Functors.Polynomial hiding ( PolyF1(..) )
-import Copar.Coalgebra.RefinementTypes
+import Copar.RefinementInterface
import qualified Data.Partition as Part
import Copar.Algorithm
diff --git a/tests/Copar/Functors/GroupValuedSpec.hs b/tests/Copar/Functors/GroupValuedSpec.hs
index ac59b2b..83e14bd 100644
--- a/tests/Copar/Functors/GroupValuedSpec.hs
+++ b/tests/Copar/Functors/GroupValuedSpec.hs
@@ -16,7 +16,7 @@ import Copar.FunctorExpression.Type
import Copar.FunctorExpression.Sorts ( Sorted(..) )
import Data.Float.Utils ( EqDouble )
import Copar.Parser.Types
-import Copar.Coalgebra.RefinementTypes
+import Copar.RefinementInterface
spec :: Spec
diff --git a/tests/Copar/Functors/MonoidValuedSpec.hs b/tests/Copar/Functors/MonoidValuedSpec.hs
index a95a2cf..b8a9d03 100644
--- a/tests/Copar/Functors/MonoidValuedSpec.hs
+++ b/tests/Copar/Functors/MonoidValuedSpec.hs
@@ -32,7 +32,7 @@ import Copar.FunctorExpression.Desorting
import qualified Data.Partition as Part
import Copar.Algorithm
import Copar.Functors.Polynomial
-import Copar.Coalgebra.RefinementTypes
+import Copar.RefinementInterface
import Data.Float.Utils
spec :: Spec
--
GitLab