require newer (>= 5.1) megaparsec since it has the Arbitrary instances for Pos and SourcePos

2 files changed, 5 insertions, 14 deletions

diff --git a/lambdacube-compiler.cabal b/lambdacube-compiler.cabal
index fae1b941..31b071b3 100644
--- a/lambdacube-compiler.cabal
+++ b/lambdacube-compiler.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                lambdacube-compiler
-version:             0.6.0.1
+version:             0.6.1.0
 homepage:            http://lambdacube3d.com
 synopsis:            LambdaCube 3D is a DSL to program GPUs
 description:         LambdaCube 3D is a domain specific language and library that makes it
@@ -101,7 +101,7 @@ library
     exceptions >= 0.8 && <0.9,
     filepath >=1.4 && <1.5,
     mtl >=2.2 && <2.3,
-    megaparsec >=5.0 && <5.2,
+    megaparsec >=5.1 && <5.2,
     ansi-wl-pprint >=0.6 && <0.7,
     pretty-show >= 1.6.9,
     text >= 1.2 && <1.3,
@@ -153,7 +153,7 @@ executable lambdacube-compiler-unit-tests
     semigroups,
     containers >=0.5 && <0.6,
     lambdacube-compiler,
-    megaparsec >=5.0 && <5.2,
+    megaparsec >=5.1 && <5.2,
     QuickCheck >= 2.8.2 && <2.10,
     tasty >= 0.11 && <0.12,
     tasty-quickcheck >=0.8 && <0.9
@@ -188,7 +188,7 @@ executable lambdacube-compiler-test-suite
     mtl >=2.2 && <2.3,
     monad-control >= 1.0 && <1.1,
     optparse-applicative >=0.12 && <0.14,
-    megaparsec >=5.0 && <5.2,
+    megaparsec >=5.1 && <5.2,
     ansi-wl-pprint >=0.6 && <0.7,
     patience >= 0.1 && < 0.2,
     text >= 1.2 && <1.3,
@@ -277,7 +277,7 @@ executable lambdacube-compiler-coverage-test-suite
     mtl >=2.2 && <2.3,
     monad-control >= 1.0 && <1.1,
     optparse-applicative >=0.12 && <0.14,
-    megaparsec >=5.0 && <5.2,
+    megaparsec >=5.1 && <5.2,
     ansi-wl-pprint >=0.6 && <0.7,
     pretty-show >= 1.6.9,
     patience >= 0.1 && < 0.2,
diff --git a/test/UnitTests.hs b/test/UnitTests.hs
index 52569f48..ae3fcaf4 100644
--- a/test/UnitTests.hs
+++ b/test/UnitTests.hs
@@ -28,15 +28,6 @@ main = defaultMain $ testGroup "Compiler"
 ----------------------------------------------------------------- Arbitraries
 
 -- SourcePos
-instance Arbitrary Pos where
-    arbitrary = unsafePos . getPositive <$> arbitrary
-
-instance Arbitrary SourcePos where
-  arbitrary = SourcePos <$> arbitrary <*> arbitrary <*> arbitrary
-  shrink pos
-    | n <- sourceName pos, l <- sourceLine pos, c <- sourceColumn pos
-      = [SourcePos n' l' c' | n' <- shrink n, l' <- shrink l, c' <- shrink c]
-  -- TODO: Diagonalize shrink
 
 -- TODO: generate only valid positions
 instance Arbitrary SPos where