on master help sign in
Bump megaparec versions in idris.cabal and stack.yaml
ca34decJoseph Morag
idris.cabal+2−1
@@ -289,10 +289,11 @@ Library
289 , fingertree >= 0.1.4.1 && < 0.2
289 , fingertree >= 0.1.4.1 && < 0.2
290 , haskeline >= 0.7 && < 0.8
290 , haskeline >= 0.7 && < 0.8
291 , ieee754 >= 0.7 && < 0.9
291 , ieee754 >= 0.7 && < 0.9
292− , megaparsec >= 6.2 && < 7
292+ , megaparsec >= 7.0.4 && < 8
293 , mtl >= 2.1 && < 2.3
293 , mtl >= 2.1 && < 2.3
294 , network < 2.8
294 , network < 2.8
295 , optparse-applicative >= 0.13 && < 0.15
295 , optparse-applicative >= 0.13 && < 0.15
296+ , parser-combinators >= 1.0.0
296 , pretty < 1.2
297 , pretty < 1.2
297 , process < 1.7
298 , process < 1.7
298 , regex-tdfa >= 1.2
299 , regex-tdfa >= 1.2
stack.yaml+4−1
@@ -4,7 +4,10 @@ resolver: lts-11.14
4packages:
4packages:
5 - location: .
5 - location: .
6
6
7−extra-deps: []
7+extra-deps:
8+ - megaparsec-7.0.4
9+ - parser-combinators-1.0.0
10+
8
11
9flags:
12flags:
10 idris:
13 idris: