;;; Copyright © 2020 John Soo <jsoo1@asu.edu> ;;; Copyright © 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; ;;; This file is part of GNU Guix. ;;; ;;; GNU Guix is free software; you can redistribute it and/or modify it ;;; under the terms of the GNU General Public License as published by ;;; the Free Software Foundation; either version 3 of the License, or (at ;;; your option) any later version. ;;; ;;; GNU Guix is distributed in the hope that it will be useful, but ;;; WITHOUT ANY WARRANTY; without even the implied warranty of ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ;;; GNU General Public License for more details. ;;; ;;; You should have received a copy of the GNU General Public License ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>. (define-module (gnu packages dhall) #:use-module (gnu packages) #:use-module (gnu packages haskell-xyz) #:use-module (gnu packages haskell-check) #:use-module (gnu packages haskell-crypto) #:use-module (gnu packages haskell-web) #:use-module (guix download) #:use-module (guix build-system haskell) #:use-module ((guix licenses) #:prefix license:) #:use-module (guix packages)) (define-public dhall (package (name "dhall") (version "1.32.0") (source (origin (method url-fetch) (uri (string-append "https://hackage.haskell.org/package/dhall/dhall-" version ".tar.gz")) (sha256 (base32 "1imj0bh5365pdizvjbw2wqz0g9hakigf1zm4fr6379qdchxpp90p")))) (build-system haskell-build-system) (inputs `(("ghc-aeson" ,ghc-aeson) ("ghc-aeson-pretty" ,ghc-aeson-pretty) ("ghc-ansi-terminal" ,ghc-ansi-terminal) ("ghc-atomic-write" ,ghc-atomic-write-0.2.0.7) ("ghc-case-insensitive" ,ghc-case-insensitive) ("ghc-cborg" ,ghc-cborg) ("ghc-cborg-json" ,ghc-cborg-json) ("ghc-contravariant" ,ghc-contravariant) ("ghc-data-fix" ,ghc-data-fix) ("ghc-diff" ,ghc-diff) ("ghc-dotgen" ,ghc-dotgen) ("ghc-either" ,ghc-either) ("ghc-exceptions" ,ghc-exceptions) ("ghc-half" ,ghc-half) ("ghc-hashable" ,ghc-hashable) ("ghc-lens-family-core" ,ghc-lens-family-core) ("ghc-megaparsec" ,ghc-megaparsec) ("ghc-memory" ,ghc-memory) ("ghc-network-uri" ,ghc-network-uri) ("ghc-optparse-applicative" ,ghc-optparse-applicative) ("ghc-parsers" ,ghc-parsers) ("ghc-parser-combinators" ,ghc-parser-combinators) ("ghc-prettyprinter" ,ghc-prettyprinter-1.6) ("ghc-prettyprinter-ansi-terminal" ,ghc-prettyprinter-ansi-terminal) ("ghc-pretty-simple" ,ghc-pretty-simple) ("ghc-profunctors" ,ghc-profunctors) ("ghc-repline" ,ghc-repline-0.3) ("ghc-serialise" ,ghc-serialise) ("ghc-scientific" ,ghc-scientific) ("ghc-text-manipulate" ,ghc-text-manipulate) ("ghc-th-lift-instances" ,ghc-th-lift-instances) ("ghc-transformers-compat" ,ghc-transformers-compat) ("ghc-unordered-containers" ,ghc-unordered-containers) ("ghc-uri-encode" ,ghc-uri-encode) ("ghc-vector" ,ghc-vector) ("ghc-cryptonite" ,ghc-cryptonite) ("ghc-http-types" ,ghc-http-types) ("ghc-http-client" ,ghc-http-client) ("ghc-http-client-tls" ,ghc-http-client-tls))) (native-inputs `(("ghc-foldl" ,ghc-foldl) ("ghc-generic-random" ,ghc-generic-random-1.3.0.1) ("ghc-quickcheck" ,ghc-quickcheck) ("ghc-quickcheck-instances" ,ghc-quickcheck-instances) ("ghc-semigroups" ,ghc-semigroups) ("ghc-special-values" ,ghc-special-values) ("ghc-spoon" ,ghc-spoon) ("ghc-tasty" ,ghc-tasty) ("ghc-tasty-expected-failure" ,ghc-tasty-expected-failure) ("ghc-tasty-hunit" ,ghc-tasty-hunit) ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck) ("ghc-turtle" ,ghc-turtle) ("ghc-mockery" ,ghc-mockery) ("ghc-doctest" ,ghc-doctest))) (arguments `(#:phases (modify-phases %standard-phases (add-after 'unpack 'remove-network-tests (lambda _ (with-directory-excursion "dhall-lang/tests" (for-each delete-file '("import/failure/referentiallyInsane.dhall" "import/success/customHeadersA.dhall" "import/success/noHeaderForwardingA.dhall" "import/success/unit/RemoteAsTextA.dhall" "import/success/unit/SimpleRemoteA.dhall" "import/success/unit/asLocation/RemoteChain1A.dhall" "import/success/unit/asLocation/RemoteChain2A.dhall" "import/success/unit/asLocation/RemoteChain3A.dhall" "import/success/unit/asLocation/RemoteChainEnvA.dhall" "import/success/unit/asLocation/RemoteChainMissingA.dhall" "type-inference/success/CacheImportsA.dhall" "type-inference/success/CacheImportsCanonicalizeA.dhall"))) (substitute* "src/Dhall/Tutorial.hs" (((string-append "-- >>> input auto " "\"https://raw.githubusercontent.com/dhall-lang" "/dhall-haskell/18e4e9a18dc53271146df3ccf5b4177c3552236b/" "examples/True\" :: IO Bool")) "") (((string-append "-- >>> input auto " "\"False == " "https://raw.githubusercontent.com/dhall-lang" "/dhall-haskell/18e4e9a18dc53271146df3ccf5b4177c3552236b/" "examples/True\" :: IO Bool")) "")) #t))))) (home-page "https://dhall-lang.org/") (synopsis "Configuration language guaranteed to terminate") (description "Dhall is an explicitly typed configuration language that is not Turing complete. Despite being Turing incomplete, Dhall is a real programming language with a type-checker and evaluator. Use this library to parse, type-check, evaluate, and pretty-print the Dhall configuration language. This package also includes an executable which type-checks a Dhall file and reduces the file to a fully evaluated normal form.") (license license:bsd-3)))