on master help sign in
Bump megaparec versions in idris.cabal and stack.yaml
commitca34dec7c311b271211c94cbb9abe2c305fb4a67 authorJoseph Morag <jm4157@columbia.edu> dateMon 10 Dec 2018, 11:28 (8 years ago) parent8f66bed
2 files changed+6−2
idris.cabal+2−1 stack.yaml+4−1
idris.cabal+2−1
@@ -289,10 +289,11 @@ 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 && < 7
292+ , megaparsec >= 7.0.4 && < 8
293293 , mtl >= 2.1 && < 2.3
294294 , network < 2.8
295295 , optparse-applicative >= 0.13 && < 0.15
296+ , parser-combinators >= 1.0.0
296297 , pretty < 1.2
297298 , process < 1.7
298299 , regex-tdfa >= 1.2
stack.yaml+4−1
@@ -4,7 +4,10 @@ resolver: lts-11.14
44packages:
55 - location: .
66
7−extra-deps: []
7+extra-deps:
8+ - megaparsec-7.0.4
9+ - parser-combinators-1.0.0
10+
811
912flags:
1013 idris: