gnu: ghc-megaparsec: Update to 7.0.5.

* gnu/packages/haskell-xyz.scm (ghc-megaparsec): Update to 7.0.5.
[arguments]: Remove '#:cabal-revision'.
(ghc-megaparsec-7): Remove variable.
* gnu/packages/haskell-apps.scm (kmonad)[inputs]: Replace
'ghc-megaparsec-7' with 'ghc-megaparsec'.
* gnu/packages/idris.scm (idris)[inputs]: Likewise.
This commit is contained in:
Timothy Sample 2019-10-31 12:59:06 -04:00
parent 1a825512d3
commit 03b0c92e2a
No known key found for this signature in database
GPG key ID: 2AC6A5EC1C357C59
3 changed files with 4 additions and 25 deletions

View file

@ -543,7 +543,7 @@ (define-public kmonad
("ghc-exceptions" ,ghc-exceptions)
("ghc-hashable" ,ghc-hashable)
("ghc-lens" ,ghc-lens)
("ghc-megaparsec" ,ghc-megaparsec-7)
("ghc-megaparsec" ,ghc-megaparsec)
("ghc-optparse-applicative" ,ghc-optparse-applicative)
("ghc-unagi-chan" ,ghc-unagi-chan)
("ghc-unliftio" ,ghc-unliftio)

View file

@ -6120,7 +6120,7 @@ (define-public ghc-math-functions
(define-public ghc-megaparsec
(package
(name "ghc-megaparsec")
(version "6.5.0")
(version "7.0.5")
(source
(origin
(method url-fetch)
@ -6129,11 +6129,8 @@ (define-public ghc-megaparsec
version ".tar.gz"))
(sha256
(base32
"12iggy7qpf8x93jm64zf0g215xwy779bqyfyjk2bhmxqqr1yzgdy"))))
"0bqx1icbmk8s7wmbcdzsgnlh607c7kzg8l80cp02dxr5valjxp7j"))))
(build-system haskell-build-system)
(arguments
`(#:cabal-revision
("4" "0ij3asi5vwlhbgwsy6nhli9a0qb7926mg809fsgyl1rnhs9fvpx1")))
(inputs
`(("ghc-case-insensitive" ,ghc-case-insensitive)
("ghc-parser-combinators" ,ghc-parser-combinators)
@ -6151,24 +6148,6 @@ (define-public ghc-megaparsec
speed, flexibility, and quality of parse errors.")
(license license:bsd-2)))
;;; Idris 1.3.2 requires 'megaparse>=7.0.4' but we'd like to keep the public
;;; package at the current Stackage LTS version:
(define-public ghc-megaparsec-7
(hidden-package
(package
(inherit ghc-megaparsec)
(version "7.0.5")
(source
(origin
(method url-fetch)
(uri (string-append "https://hackage.haskell.org/package/megaparsec/"
"megaparsec-" version ".tar.gz"))
(sha256
(base32
"0bqx1icbmk8s7wmbcdzsgnlh607c7kzg8l80cp02dxr5valjxp7j"))))
(arguments (strip-keyword-arguments (list #:cabal-revision)
(package-arguments ghc-megaparsec))))))
(define-public ghc-memory
(package
(name "ghc-memory")

View file

@ -70,7 +70,7 @@ (define-public idris
("ghc-fsnotify" ,ghc-fsnotify)
("ghc-ieee754" ,ghc-ieee754)
("ghc-libffi" ,ghc-libffi)
("ghc-megaparsec" ,ghc-megaparsec-7)
("ghc-megaparsec" ,ghc-megaparsec)
("ghc-network" ,ghc-network)
("ghc-optparse-applicative" ,ghc-optparse-applicative)
("ghc-regex-tdfa" ,ghc-regex-tdfa)