pre-liquidhaskell: adjust to ghc 9.2.8
This commit is contained in:
parent
d2ea817ad1
commit
378e372049
GPG key ID:
53E62470A86BC185
1 changed files with 59 additions and 19 deletions
|
|
@ -3068,16 +3068,50 @@ backend that uses inlined calls to Z3's C API.")
|
|||
"This package lacks a description. Run \"info '(guix) Synopses and Descriptions'\" for more information.")
|
||||
(license license:expat)))
|
||||
|
||||
|
||||
|
||||
(define-public ghc-recursion-schemes
|
||||
(package
|
||||
(name "ghc-recursion-schemes")
|
||||
(version "5.2.3")
|
||||
(source
|
||||
(origin
|
||||
(method url-fetch)
|
||||
(uri (hackage-uri "recursion-schemes" version))
|
||||
(sha256
|
||||
(base32 "020fk7s4dzim3957h8447mi3jp95k25zrac86dcaavldxjy88kiv"))))
|
||||
(build-system haskell-build-system)
|
||||
(properties '((upstream-name . "recursion-schemes")))
|
||||
(inputs (list ghc-comonad ghc-data-fix ghc-free ghc-th-abstraction))
|
||||
(native-inputs (list ghc-hunit))
|
||||
(arguments
|
||||
`(#:cabal-revision ("1"
|
||||
"0la8md7lv8awhvsyw30mqbyfjvskvndcm9446wnh4bhjhi0813li")))
|
||||
(home-page "http://github.com/ekmett/recursion-schemes/")
|
||||
(synopsis
|
||||
"Representing common recursion patterns as higher-order functions")
|
||||
(description
|
||||
"Many recursive functions share the same structure, e.g. pattern-match on the
|
||||
input and, depending on the data constructor, either recur on a smaller input or
|
||||
terminate the recursion with the base case. Another one: start with a seed
|
||||
value, use it to produce the first element of an infinite list, and recur on a
|
||||
modified seed in order to produce the rest of the list. Such a structure is
|
||||
called a recursion scheme. Using higher-order functions to implement those
|
||||
recursion schemes makes your code clearer, faster, and safer. See README for
|
||||
details.")
|
||||
(license license:bsd-2)))
|
||||
|
||||
|
||||
(define-public ghc-liquid-fixpoint
|
||||
(package
|
||||
(name "ghc-liquid-fixpoint")
|
||||
(version "0.9.6.3.1")
|
||||
(version "0.9.2.5")
|
||||
(source
|
||||
(origin
|
||||
(method url-fetch)
|
||||
(uri (hackage-uri "liquid-fixpoint" version))
|
||||
(sha256
|
||||
(base32 "1lad9s2slvbz0msdk43554h73zhw8cxcbj7fnj2nbj0rni8q0i0i"))))
|
||||
(base32 "0i9487xz1cfmn3nv58wlm685ljvqq1iqfyz1rkx549wa5h4zmdjq"))))
|
||||
(build-system haskell-build-system)
|
||||
(properties '((upstream-name . "liquid-fixpoint")))
|
||||
(inputs (list ghc-ansi-terminal
|
||||
|
|
@ -3092,6 +3126,7 @@ backend that uses inlined calls to Z3's C API.")
|
|||
ghc-intern
|
||||
ghc-parallel
|
||||
ghc-parser-combinators
|
||||
ghc-typed-process
|
||||
ghc-megaparsec
|
||||
ghc-syb
|
||||
ghc-smtlib-backends
|
||||
|
|
@ -3110,6 +3145,7 @@ backend that uses inlined calls to Z3's C API.")
|
|||
ghc-tasty-rerun
|
||||
ghc-tasty
|
||||
ghc-tasty-quickcheck
|
||||
ghc-typed-process
|
||||
ghc-tasty-hunit))
|
||||
(arguments
|
||||
`(#:tests? #f))
|
||||
|
|
@ -3128,13 +3164,18 @@ binary.")
|
|||
(define-public ghc-liquidhaskell-boot
|
||||
(package
|
||||
(name "ghc-liquidhaskell-boot")
|
||||
(version "0.9.2.8")
|
||||
(version "0.9.2.9") ;; updated version
|
||||
(source
|
||||
(origin
|
||||
(method url-fetch)
|
||||
(uri (hackage-uri "liquidhaskell-boot" version))
|
||||
(uri (string-append "https://hackage.haskell.org/package/"
|
||||
"liquidhaskell-boot-"
|
||||
version
|
||||
"/liquidhaskell-boot-"
|
||||
version
|
||||
".tar.gz"))
|
||||
(sha256
|
||||
(base32 "1gfphzqpj36valrmsbwijac12nr5b3fkgfxbkgq8dlws983hbadr"))))
|
||||
(base32 "0nmjcs9hprvj9300dpbq90j2x1ssqbhfm86rmpb2qz7l6ca7ng0r"))))
|
||||
(build-system haskell-build-system)
|
||||
(properties '((upstream-name . "liquidhaskell-boot")))
|
||||
(inputs (list ghc-diff
|
||||
|
|
@ -3154,31 +3195,30 @@ binary.")
|
|||
ghc-th-compat
|
||||
ghc-temporary
|
||||
ghc-unordered-containers
|
||||
ghc-recursion-schemes
|
||||
ghc-vector
|
||||
ghc-free
|
||||
ghc-extra))
|
||||
ghc-extra
|
||||
ghc-9.2))
|
||||
(native-inputs (list ghc-tasty
|
||||
ghc-tasty-ant-xml
|
||||
ghc-tasty-hunit
|
||||
ghc-recursion-schemes
|
||||
ghc-paths
|
||||
ghc-tasty
|
||||
ghc-tasty-ant-xml
|
||||
ghc-tasty-hunit
|
||||
ghc-tasty
|
||||
ghc-tasty-ant-xml
|
||||
ghc-tasty-hunit))
|
||||
ghc-9.2))
|
||||
(arguments
|
||||
`(#:cabal-revision ("1"
|
||||
"0mywy0kck9q1rldzwi7r505a6zfbwaj6fjqq230x6abbqkba7rj6")))
|
||||
(home-page "https://github.com/ucsd-progsys/liquidhaskell")
|
||||
(synopsis "Liquid Types for Haskell")
|
||||
(description
|
||||
"This package provides a plugin to verify Haskell programs. But most likely you
|
||||
"16ppw6hfn14g6ck3d6qk9jx0160xq0ayagykjlm34lzs1rk5di05")))
|
||||
(home-page "https://github.com/ucsd-progsys/liquidhaskell")
|
||||
(synopsis "Liquid Types for Haskell")
|
||||
(description
|
||||
"This package provides a plugin to verify Haskell programs. But most likely you
|
||||
should be using the [liquidhaskell
|
||||
package](https://hackage.haskell.org/package/liquidhaskell) instead, which
|
||||
rexports this plugin together with necessary specifications for definitions in
|
||||
the boot libraries.")
|
||||
(license license:bsd-3)))
|
||||
(license license:bsd-3)))
|
||||
|
||||
|
||||
;; ghc-liquidhaskell-boot
|
||||
ghc-liquid-fixpoint
|
||||
|
||||
|
|
|
|||
Loading…
Reference in a new issue