git.iko.soy/Idris-dev
on master help sign in
Add an upper bound on megaparsec

Megaparsec has redone how the source positions in errors are handled in an incompatible way. Fixes #4551

commita09c705a3f8cd05a7ad45fc9b80ce7520b98e6b9 authorNiklas Larsson <niklas@mm.st> dateWed 5 Sep 2018, 19:59 (8 years ago) parent8b1efd4
1 file changed+1−1
compare with master
unifiedsplit
idris.cabal+1−1
idris.cabal+1−1
@@ -289,7 +289,7 @@ Library
289289 , fingertree >= 0.1.4.1 && < 0.2
290290 , haskeline >= 0.7 && < 0.8
291291 , ieee754 >= 0.7 && < 0.9
292− , megaparsec >= 6.2
292+ , megaparsec >= 6.2 && < 7
293293 , mtl >= 2.1 && < 2.3
294294 , network < 2.8
295295 , optparse-applicative >= 0.13 && < 0.15