From 064cad8428241bf69428da3e91935370da78b42d Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Sun, 22 Jan 2023 22:11:26 +0800 Subject: [PATCH] update to 1.41.2 --- .gitignore | 1 + dhall-1.39.0.cabal | 742 --------------------------------------------- dhall-1.41.2.cabal | 461 ++++++++++++++++++++++++++++ dhall.spec | 76 ++++- sources | 2 +- 5 files changed, 531 insertions(+), 751 deletions(-) delete mode 100644 dhall-1.39.0.cabal create mode 100644 dhall-1.41.2.cabal diff --git a/.gitignore b/.gitignore index d2cb396..b753f51 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ /dhall-1.32.0.tar.gz /dhall-1.37.1.tar.gz /dhall-1.39.0.tar.gz +/dhall-1.41.2.tar.gz diff --git a/dhall-1.39.0.cabal b/dhall-1.39.0.cabal deleted file mode 100644 index e4d7714..0000000 --- a/dhall-1.39.0.cabal +++ /dev/null @@ -1,742 +0,0 @@ -Name: dhall -Version: 1.39.0 -x-revision: 3 -Cabal-Version: 2.0 -Build-Type: Simple -Tested-With: GHC == 8.4.3, GHC == 8.6.1 -License: BSD3 -License-File: LICENSE -Copyright: 2017 Gabriel Gonzalez -Author: Gabriel Gonzalez -Maintainer: Gabriel439@gmail.com -Bug-Reports: https://github.com/dhall-lang/dhall-haskell/issues -Synopsis: A 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. - . - Read "Dhall.Tutorial" to learn how to use this library -Category: Compiler -Data-Files: - man/dhall.1 -Extra-Source-Files: - benchmark/deep-nested-large-record/*.dhall - benchmark/examples/*.dhall - benchmark/examples/normalize/*.dhall - CHANGELOG.md - dhall-lang/Prelude/Bool/and - dhall-lang/Prelude/Bool/build - dhall-lang/Prelude/Bool/even - dhall-lang/Prelude/Bool/fold - dhall-lang/Prelude/Bool/not - dhall-lang/Prelude/Bool/odd - dhall-lang/Prelude/Bool/or - dhall-lang/Prelude/Bool/package.dhall - dhall-lang/Prelude/Bool/show - dhall-lang/Prelude/Bool/*.dhall - dhall-lang/Prelude/Double/package.dhall - dhall-lang/Prelude/Double/show - dhall-lang/Prelude/Double/*.dhall - dhall-lang/Prelude/Function/compose - dhall-lang/Prelude/Function/identity - dhall-lang/Prelude/Function/package.dhall - dhall-lang/Prelude/Function/*.dhall - dhall-lang/Prelude/Integer/abs - dhall-lang/Prelude/Integer/add - dhall-lang/Prelude/Integer/clamp - dhall-lang/Prelude/Integer/equal - dhall-lang/Prelude/Integer/greaterThan - dhall-lang/Prelude/Integer/greaterThanEqual - dhall-lang/Prelude/Integer/lessThan - dhall-lang/Prelude/Integer/lessThanEqual - dhall-lang/Prelude/Integer/multiply - dhall-lang/Prelude/Integer/negate - dhall-lang/Prelude/Integer/negative - dhall-lang/Prelude/Integer/nonNegative - dhall-lang/Prelude/Integer/nonPositive - dhall-lang/Prelude/Integer/package.dhall - dhall-lang/Prelude/Integer/positive - dhall-lang/Prelude/Integer/show - dhall-lang/Prelude/Integer/subtract - dhall-lang/Prelude/Integer/toDouble - dhall-lang/Prelude/Integer/toNatural - dhall-lang/Prelude/Integer/*.dhall - dhall-lang/Prelude/JSON/Format - dhall-lang/Prelude/JSON/Nesting - dhall-lang/Prelude/JSON/Tagged - dhall-lang/Prelude/JSON/Type - dhall-lang/Prelude/JSON/array - dhall-lang/Prelude/JSON/bool - dhall-lang/Prelude/JSON/core.dhall - dhall-lang/Prelude/JSON/double - dhall-lang/Prelude/JSON/integer - dhall-lang/Prelude/JSON/keyText - dhall-lang/Prelude/JSON/keyValue - dhall-lang/Prelude/JSON/natural - dhall-lang/Prelude/JSON/null - dhall-lang/Prelude/JSON/number - dhall-lang/Prelude/JSON/object - dhall-lang/Prelude/JSON/omitNullFields - dhall-lang/Prelude/JSON/package.dhall - dhall-lang/Prelude/JSON/render - dhall-lang/Prelude/JSON/renderAs - dhall-lang/Prelude/JSON/renderCompact.dhall - dhall-lang/Prelude/JSON/renderInteger.dhall - dhall-lang/Prelude/JSON/renderYAML - dhall-lang/Prelude/JSON/string - dhall-lang/Prelude/JSON/tagInline - dhall-lang/Prelude/JSON/tagNested - dhall-lang/Prelude/JSON/*.dhall - dhall-lang/Prelude/List/all - dhall-lang/Prelude/List/any - dhall-lang/Prelude/List/build - dhall-lang/Prelude/List/concat - dhall-lang/Prelude/List/concatMap - dhall-lang/Prelude/List/default - dhall-lang/Prelude/List/drop - dhall-lang/Prelude/List/empty - dhall-lang/Prelude/List/filter - dhall-lang/Prelude/List/fold - dhall-lang/Prelude/List/generate - dhall-lang/Prelude/List/head - dhall-lang/Prelude/List/index - dhall-lang/Prelude/List/indexed - dhall-lang/Prelude/List/iterate - dhall-lang/Prelude/List/last - dhall-lang/Prelude/List/length - dhall-lang/Prelude/List/map - dhall-lang/Prelude/List/null - dhall-lang/Prelude/List/package.dhall - dhall-lang/Prelude/List/partition - dhall-lang/Prelude/List/replicate - dhall-lang/Prelude/List/reverse - dhall-lang/Prelude/List/shifted - dhall-lang/Prelude/List/take - dhall-lang/Prelude/List/unpackOptionals - dhall-lang/Prelude/List/unzip - dhall-lang/Prelude/List/zip - dhall-lang/Prelude/List/*.dhall - dhall-lang/Prelude/Location/Type - dhall-lang/Prelude/Location/package.dhall - dhall-lang/Prelude/Location/*.dhall - dhall-lang/Prelude/Map/Entry - dhall-lang/Prelude/Map/Type - dhall-lang/Prelude/Map/empty - dhall-lang/Prelude/Map/keyText - dhall-lang/Prelude/Map/keyValue - dhall-lang/Prelude/Map/keys - dhall-lang/Prelude/Map/map - dhall-lang/Prelude/Map/package.dhall - dhall-lang/Prelude/Map/values - dhall-lang/Prelude/Map/*.dhall - dhall-lang/Prelude/Monoid - dhall-lang/Prelude/Natural/build - dhall-lang/Prelude/Natural/enumerate - dhall-lang/Prelude/Natural/equal - dhall-lang/Prelude/Natural/even - dhall-lang/Prelude/Natural/fold - dhall-lang/Prelude/Natural/greaterThan - dhall-lang/Prelude/Natural/greaterThanEqual - dhall-lang/Prelude/Natural/isZero - dhall-lang/Prelude/Natural/lessThan - dhall-lang/Prelude/Natural/lessThanEqual - dhall-lang/Prelude/Natural/listMax - dhall-lang/Prelude/Natural/listMin - dhall-lang/Prelude/Natural/max - dhall-lang/Prelude/Natural/min - dhall-lang/Prelude/Natural/odd - dhall-lang/Prelude/Natural/package.dhall - dhall-lang/Prelude/Natural/product - dhall-lang/Prelude/Natural/show - dhall-lang/Prelude/Natural/sort - dhall-lang/Prelude/Natural/subtract - dhall-lang/Prelude/Natural/sum - dhall-lang/Prelude/Natural/toDouble - dhall-lang/Prelude/Natural/toInteger - dhall-lang/Prelude/Natural/*.dhall - dhall-lang/Prelude/Operator/package.dhall - dhall-lang/Prelude/Optional/all - dhall-lang/Prelude/Optional/any - dhall-lang/Prelude/Optional/build - dhall-lang/Prelude/Optional/concat - dhall-lang/Prelude/Optional/default - dhall-lang/Prelude/Optional/filter - dhall-lang/Prelude/Optional/fold - dhall-lang/Prelude/Optional/head - dhall-lang/Prelude/Optional/last - dhall-lang/Prelude/Optional/length - dhall-lang/Prelude/Optional/map - dhall-lang/Prelude/Optional/null - dhall-lang/Prelude/Optional/package.dhall - dhall-lang/Prelude/Optional/toList - dhall-lang/Prelude/Optional/unzip - dhall-lang/Prelude/Optional/*.dhall - dhall-lang/Prelude/Text/concat - dhall-lang/Prelude/Text/concatMap - dhall-lang/Prelude/Text/concatMapSep - dhall-lang/Prelude/Text/concatSep - dhall-lang/Prelude/Text/default - dhall-lang/Prelude/Text/defaultMap - dhall-lang/Prelude/Text/package.dhall - dhall-lang/Prelude/Text/replace.dhall - dhall-lang/Prelude/Text/replicate - dhall-lang/Prelude/Text/show - dhall-lang/Prelude/Text/spaces - dhall-lang/Prelude/Text/*.dhall - dhall-lang/Prelude/XML/Type - dhall-lang/Prelude/XML/attribute - dhall-lang/Prelude/XML/element - dhall-lang/Prelude/XML/emptyAttributes - dhall-lang/Prelude/XML/leaf - dhall-lang/Prelude/XML/package.dhall - dhall-lang/Prelude/XML/render - dhall-lang/Prelude/XML/text - dhall-lang/Prelude/XML/*.dhall - dhall-lang/Prelude/*.dhall - dhall-lang/Prelude/package.dhall - dhall-lang/tests/alpha-normalization/success/unit/*.dhall - dhall-lang/tests/alpha-normalization/success/regression/*.dhall - dhall-lang/tests/binary-decode/failure/unit/*.dhallb - dhall-lang/tests/binary-decode/success/unit/*.dhall - dhall-lang/tests/binary-decode/success/unit/*.dhallb - dhall-lang/tests/binary-decode/success/unit/imports/*.dhall - dhall-lang/tests/binary-decode/success/unit/imports/*.dhallb - dhall-lang/tests/import/cache/dhall/12203871180b87ecaba8b53fffb2a8b52d3fce98098fab09a6f759358b9e8042eedc - dhall-lang/tests/import/cache/dhall/1220618f785ce8f3930a9144398f576f0a992544b51212bc9108c31b4e670dc6ed21 - dhall-lang/tests/import/data/*.dhall - dhall-lang/tests/import/data/*.txt - dhall-lang/tests/import/failure/*.dhall - dhall-lang/tests/import/failure/unit/*.dhall - dhall-lang/tests/import/success/*.dhall - dhall-lang/tests/import/success/unit/*.dhall - dhall-lang/tests/import/success/unit/asLocation/*.dhall - dhall-lang/tests/normalization/success/*.dhall - dhall-lang/tests/normalization/success/haskell-tutorial/access/*.dhall - dhall-lang/tests/normalization/success/haskell-tutorial/combineTypes/*.dhall - dhall-lang/tests/normalization/success/haskell-tutorial/prefer/*.dhall - dhall-lang/tests/normalization/success/haskell-tutorial/projection/*.dhall - dhall-lang/tests/normalization/success/regression/*.dhall - dhall-lang/tests/normalization/success/simple/*.dhall - dhall-lang/tests/normalization/success/simplifications/*.dhall - dhall-lang/tests/normalization/success/unit/*.dhall - dhall-lang/tests/parser/failure/*.dhall - dhall-lang/tests/parser/failure/spacing/*.dhall - dhall-lang/tests/parser/failure/unit/*.dhall - dhall-lang/tests/parser/success/*.dhall - dhall-lang/tests/parser/success/*.dhallb - dhall-lang/tests/parser/success/text/*.dhall - dhall-lang/tests/parser/success/text/*.dhallb - dhall-lang/tests/parser/success/unit/*.dhall - dhall-lang/tests/parser/success/unit/*.dhallb - dhall-lang/tests/parser/success/unit/operators/*.dhall - dhall-lang/tests/parser/success/unit/operators/*.dhallb - dhall-lang/tests/parser/success/unit/import/*.dhall - dhall-lang/tests/parser/success/unit/import/*.dhallb - dhall-lang/tests/parser/success/unit/import/urls/*.dhall - dhall-lang/tests/parser/success/unit/import/urls/*.dhallb - dhall-lang/tests/semantic-hash/success/*.dhall - dhall-lang/tests/semantic-hash/success/*.hash - dhall-lang/tests/semantic-hash/success/haskell-tutorial/access/*.dhall - dhall-lang/tests/semantic-hash/success/haskell-tutorial/access/*.hash - dhall-lang/tests/semantic-hash/success/haskell-tutorial/combineTypes/*.dhall - dhall-lang/tests/semantic-hash/success/haskell-tutorial/combineTypes/*.hash - dhall-lang/tests/semantic-hash/success/haskell-tutorial/prefer/*.dhall - dhall-lang/tests/semantic-hash/success/haskell-tutorial/prefer/*.hash - dhall-lang/tests/semantic-hash/success/haskell-tutorial/projection/*.dhall - dhall-lang/tests/semantic-hash/success/haskell-tutorial/projection/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Bool/and/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Bool/and/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Bool/build/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Bool/build/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Bool/even/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Bool/even/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Bool/fold/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Bool/fold/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Bool/not/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Bool/not/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Bool/odd/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Bool/odd/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Bool/or/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Bool/or/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Bool/show/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Bool/show/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Double/show/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Double/show/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Integer/show/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Integer/show/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Integer/toDouble/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Integer/toDouble/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/all/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/all/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/any/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/any/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/build/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/build/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/concat/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/concat/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/concatMap/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/concatMap/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/filter/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/filter/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/fold/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/fold/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/generate/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/generate/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/head/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/head/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/indexed/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/indexed/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/iterate/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/iterate/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/last/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/last/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/length/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/length/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/map/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/map/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/null/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/null/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/replicate/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/replicate/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/reverse/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/reverse/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/shifted/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/shifted/*.hash - dhall-lang/tests/semantic-hash/success/prelude/List/unzip/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/List/unzip/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Natural/build/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Natural/build/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Natural/enumerate/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Natural/enumerate/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Natural/even/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Natural/even/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Natural/fold/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Natural/fold/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Natural/isZero/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Natural/isZero/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Natural/odd/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Natural/odd/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Natural/product/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Natural/product/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Natural/show/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Natural/show/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Natural/sum/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Natural/sum/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Natural/toDouble/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Natural/toDouble/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Natural/toInteger/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Natural/toInteger/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Optional/all/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Optional/all/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Optional/any/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Optional/any/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Optional/build/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Optional/build/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Optional/concat/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Optional/concat/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Optional/filter/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Optional/filter/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Optional/fold/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Optional/fold/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Optional/head/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Optional/head/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Optional/last/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Optional/last/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Optional/length/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Optional/length/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Optional/map/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Optional/map/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Optional/null/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Optional/null/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Optional/toList/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Optional/toList/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Optional/unzip/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Optional/unzip/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Text/concat/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Text/concat/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Text/concatMap/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Text/concatMap/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Text/concatMapSep/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Text/concatMapSep/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Text/concatSep/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Text/concatSep/*.hash - dhall-lang/tests/semantic-hash/success/prelude/Text/show/*.dhall - dhall-lang/tests/semantic-hash/success/prelude/Text/show/*.hash - dhall-lang/tests/semantic-hash/success/simple/*.dhall - dhall-lang/tests/semantic-hash/success/simple/*.hash - dhall-lang/tests/semantic-hash/success/simplifications/*.dhall - dhall-lang/tests/semantic-hash/success/simplifications/*.hash - dhall-lang/tests/type-inference/failure/*.dhall - dhall-lang/tests/type-inference/success/*.dhall - dhall-lang/tests/type-inference/success/prelude/Bool/and/*.dhall - dhall-lang/tests/type-inference/success/prelude/Bool/build/*.dhall - dhall-lang/tests/type-inference/success/prelude/Bool/even/*.dhall - dhall-lang/tests/type-inference/success/prelude/Bool/fold/*.dhall - dhall-lang/tests/type-inference/success/prelude/Bool/not/*.dhall - dhall-lang/tests/type-inference/success/prelude/Bool/odd/*.dhall - dhall-lang/tests/type-inference/success/prelude/Bool/or/*.dhall - dhall-lang/tests/type-inference/success/prelude/Bool/show/*.dhall - dhall-lang/tests/type-inference/success/prelude/Double/show/*.dhall - dhall-lang/tests/type-inference/success/prelude/Integer/show/*.dhall - dhall-lang/tests/type-inference/success/prelude/Integer/toDouble/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/all/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/any/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/build/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/concat/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/concatMap/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/filter/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/fold/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/generate/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/head/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/indexed/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/iterate/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/last/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/length/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/map/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/null/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/replicate/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/reverse/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/shifted/*.dhall - dhall-lang/tests/type-inference/success/prelude/List/unzip/*.dhall - dhall-lang/tests/type-inference/success/prelude/Monoid/*.dhall - dhall-lang/tests/type-inference/success/prelude/Natural/build/*.dhall - dhall-lang/tests/type-inference/success/prelude/Natural/enumerate/*.dhall - dhall-lang/tests/type-inference/success/prelude/Natural/even/*.dhall - dhall-lang/tests/type-inference/success/prelude/Natural/fold/*.dhall - dhall-lang/tests/type-inference/success/prelude/Natural/isZero/*.dhall - dhall-lang/tests/type-inference/success/prelude/Natural/odd/*.dhall - dhall-lang/tests/type-inference/success/prelude/Natural/product/*.dhall - dhall-lang/tests/type-inference/success/prelude/Natural/show/*.dhall - dhall-lang/tests/type-inference/success/prelude/Natural/sum/*.dhall - dhall-lang/tests/type-inference/success/prelude/Natural/toDouble/*.dhall - dhall-lang/tests/type-inference/success/prelude/Natural/toInteger/*.dhall - dhall-lang/tests/type-inference/success/prelude/Optional/all/*.dhall - dhall-lang/tests/type-inference/success/prelude/Optional/any/*.dhall - dhall-lang/tests/type-inference/success/prelude/Optional/build/*.dhall - dhall-lang/tests/type-inference/success/prelude/Optional/concat/*.dhall - dhall-lang/tests/type-inference/success/prelude/Optional/filter/*.dhall - dhall-lang/tests/type-inference/success/prelude/Optional/fold/*.dhall - dhall-lang/tests/type-inference/success/prelude/Optional/head/*.dhall - dhall-lang/tests/type-inference/success/prelude/Optional/last/*.dhall - dhall-lang/tests/type-inference/success/prelude/Optional/length/*.dhall - dhall-lang/tests/type-inference/success/prelude/Optional/map/*.dhall - dhall-lang/tests/type-inference/success/prelude/Optional/null/*.dhall - dhall-lang/tests/type-inference/success/prelude/Optional/toList/*.dhall - dhall-lang/tests/type-inference/success/prelude/Optional/unzip/*.dhall - dhall-lang/tests/type-inference/success/prelude/Text/concat/*.dhall - dhall-lang/tests/type-inference/success/prelude/Text/concatMap/*.dhall - dhall-lang/tests/type-inference/success/prelude/Text/concatMapSep/*.dhall - dhall-lang/tests/type-inference/success/prelude/Text/concatSep/*.dhall - dhall-lang/tests/type-inference/success/regression/*.dhall - dhall-lang/tests/type-inference/success/simple/*.dhall - dhall-lang/tests/type-inference/success/simple/access/*.dhall - dhall-lang/tests/type-inference/success/unit/*.dhall - tests/diff/*.dhall - tests/diff/*.txt - tests/format/*.dhall - tests/freeze/*.dhall - tests/lint/success/*.dhall - tests/recursive/*.dhall - tests/regression/*.dhall - tests/schemas/*.dhall - tests/tags/*.dhall - tests/tags/*.tags - tests/th/*.dhall - tests/tutorial/*.dhall - -Source-Repository head - Type: git - Location: https://github.com/dhall-lang/dhall-haskell/tree/master/dhall - -Flag with-http - Description: Include support for importing dhall modules from HTTP URLs - Default: True - Manual: True - -Flag use-http-client-tls - Description: Use http-client-tls for resolving HTTP imports by default - (requires with-http to be enabled) - Default: True - Manual: True - -Flag cross - Description: Disable TemplateHaskell to make cross-compiling easier - Default: False - Manual: True - -Library - Hs-Source-Dirs: src - Build-Depends: - base >= 4.11.0.0 && < 5 , - aeson >= 1.0.0.0 && < 1.6 , - aeson-pretty < 0.9 , - ansi-terminal >= 0.6.3.1 && < 0.12, - atomic-write >= 0.2.0.7 && < 0.3 , - bytestring < 0.12, - case-insensitive < 1.3 , - cborg >= 0.2.0.0 && < 0.3 , - cborg-json >= 0.2.2.0 && < 0.3 , - containers >= 0.5.8.0 && < 0.7 , - contravariant < 1.6 , - data-fix < 0.4 , - deepseq < 1.5 , - Diff >= 0.2 && < 0.5 , - directory >= 1.3.0.0 && < 1.4 , - dotgen >= 0.4.2 && < 0.5 , - either >= 5 && < 5.1, - exceptions >= 0.8.3 && < 0.11, - filepath >= 1.4 && < 1.5 , - half >= 0.2.2.3 && < 0.4 , - haskeline >= 0.7.2.1 && < 0.9 , - hashable >= 1.2 && < 1.4 , - lens-family-core >= 1.0.0 && < 2.2 , - megaparsec >= 7 && < 9.2 , - memory >= 0.14 && < 0.17, - mmorph < 1.3 , - mtl >= 2.2.1 && < 2.3 , - network-uri >= 2.6 && < 2.7 , - optparse-applicative >= 0.14.0.0 && < 0.17, - parsers >= 0.12.4 && < 0.13, - parser-combinators , - prettyprinter >= 1.5.1 && < 1.8 , - prettyprinter-ansi-terminal >= 1.1.1 && < 1.2 , - pretty-simple < 4.1 , - profunctors >= 3.1.2 && < 5.7 , - repline >= 0.4.0.0 && < 0.5 , - serialise >= 0.2.0.0 && < 0.3 , - scientific >= 0.3.0.0 && < 0.4 , - template-haskell >= 2.13.0.0 && < 2.18, - text >= 0.11.1.0 && < 1.3 , - text-manipulate >= 0.2.0.1 && < 0.4 , - th-lift-instances >= 0.1.13 && < 0.2 , - transformers >= 0.2.0.0 && < 0.6 , - transformers-compat >= 0.6.2 && < 0.7 , - unordered-containers >= 0.1.3.0 && < 0.3 , - uri-encode < 1.6 , - vector >= 0.11.0.0 && < 0.13 - if flag(with-http) - CPP-Options: - -DWITH_HTTP - if flag(use-http-client-tls) - CPP-Options: - -DUSE_HTTP_CLIENT_TLS - if impl(ghcjs) - Hs-Source-Dirs: ghcjs-src - Build-Depends: - ghcjs-base , - ghcjs-xhr - else - Hs-Source-Dirs: ghc-src - Build-Depends: - cryptonite >= 0.23 && < 0.30 - if flag(with-http) - Build-Depends: - http-types >= 0.7.0 && < 0.13, - http-client >= 0.5.0 && < 0.8 - if flag(use-http-client-tls) - Build-Depends: - http-client-tls >= 0.2.0 && < 0.4 - - Other-Extensions: - BangPatterns - CPP - DefaultSignatures - DeriveAnyClass - DeriveDataTypeable - DeriveFunctor - DeriveGeneric - DeriveTraversable - FlexibleContexts - FlexibleInstances - GeneralizedNewtypeDeriving - MultiParamTypeClasses - NamedFieldPuns - OverloadedLists - OverloadedStrings - RankNTypes - RecordWildCards - ScopedTypeVariables - StandaloneDeriving - TupleSections - TypeFamilies - TypeOperators - UnicodeSyntax - if !flag(cross) - Other-Extensions: - TemplateHaskell - - Exposed-Modules: - Dhall - Dhall.Binary - Dhall.Context - Dhall.Core - Dhall.Crypto - Dhall.Diff - Dhall.DirectoryTree - Dhall.Format - Dhall.Freeze - Dhall.Import - Dhall.Lint - Dhall.Main - Dhall.Marshal.Decode - Dhall.Marshal.Encode - Dhall.Map - Dhall.Optics - Dhall.Parser - Dhall.Parser.Expression - Dhall.Parser.Token - Dhall.Pretty - Dhall.Repl - Dhall.Schemas - Dhall.Set - Dhall.Src - Dhall.Substitution - Dhall.Tags - Dhall.Tutorial - Dhall.TypeCheck - Dhall.Util - Dhall.Version - if !flag(cross) - Exposed-Modules: - Dhall.TH - if impl(ghc >= 8.6.1) - Exposed-Modules: - Dhall.Deriving - Other-Modules: - Dhall.Eval - Dhall.Import.Types - Dhall.Marshal.Internal - Dhall.Normalize - Dhall.Parser.Combinators - Dhall.Pretty.Internal - Dhall.Syntax - Dhall.URL - Paths_dhall - Autogen-Modules: - Paths_dhall - if flag(with-http) - Other-Modules: - Dhall.Import.HTTP - Dhall.Import.Manager - - GHC-Options: -Wall -fwarn-incomplete-uni-patterns - Default-Language: Haskell2010 - -Executable dhall - Hs-Source-Dirs: dhall - Main-Is: Main.hs - Build-Depends: base, dhall - GHC-Options: -Wall -rtsopts - Default-Language: Haskell2010 - -Test-Suite tasty - Type: exitcode-stdio-1.0 - Hs-Source-Dirs: tests - Main-Is: Dhall/Test/Main.hs - GHC-Options: -Wall - Other-Modules: - Dhall.Test.Dhall - Dhall.Test.Diff - Dhall.Test.Tags - Dhall.Test.Format - Dhall.Test.Freeze - Dhall.Test.Import - Dhall.Test.Lint - Dhall.Test.Normalization - Dhall.Test.Parser - Dhall.Test.QuickCheck - Dhall.Test.Regression - Dhall.Test.Schemas - Dhall.Test.SemanticHash - Dhall.Test.Substitution - Dhall.Test.TH - Dhall.Test.Tutorial - Dhall.Test.TypeInference - Dhall.Test.Util - Build-Depends: - base >= 4 && < 5 , - bytestring , - cborg >= 0.2.0.0 && < 0.3 , - containers , - data-fix , - deepseq >= 1.2.0.1 && < 1.5 , - dhall , - directory , - either , - filepath , - foldl < 1.5 , - generic-random >= 1.3.0.0 && < 1.6 , - http-client , - http-client-tls , - lens-family-core , - megaparsec , - prettyprinter , - QuickCheck >= 2.10 && < 2.15, - quickcheck-instances >= 0.3.12 && < 0.4 , - scientific , - serialise , - special-values < 0.2 , - spoon < 0.4 , - tasty >= 0.11.2 && < 1.5 , - tasty-expected-failure < 0.13, - tasty-hunit >= 0.10 && < 0.11, - tasty-quickcheck >= 0.9.2 && < 0.11, - tasty-silver < 3.3 , - template-haskell , - text >= 0.11.1.0 && < 1.3 , - transformers , - turtle < 1.6 , - unordered-containers , - vector >= 0.11.0.0 && < 0.13 - if flag(with-http) - CPP-Options: - -DWITH_HTTP - Default-Language: Haskell2010 - -Test-Suite doctest - Type: exitcode-stdio-1.0 - Hs-Source-Dirs: doctest - Main-Is: Main.hs - GHC-Options: -Wall - Build-Depends: - base , - directory , - filepath < 1.5 , - mockery < 0.4 , - doctest >= 0.7.0 && < 0.19 - Default-Language: Haskell2010 - -Benchmark dhall-parser - Type: exitcode-stdio-1.0 - Hs-Source-Dirs: benchmark/parser - Main-Is: Main.hs - Build-Depends: - base >= 4 && < 5 , - bytestring , - containers >= 0.5.0.0 && < 0.7, - dhall , - directory , - gauge >= 0.2.3 && < 0.3, - text >= 0.11.1.0 && < 1.3 - Default-Language: Haskell2010 - Other-Extensions: - TypeApplications - ghc-options: -rtsopts -Wall - -Benchmark deep-nested-large-record - Type: exitcode-stdio-1.0 - Hs-Source-Dirs: benchmark/deep-nested-large-record - Main-Is: Main.hs - Build-Depends: - base >= 4 && < 5 , - containers >= 0.5.0.0 && < 0.7, - dhall , - gauge >= 0.2.3 && < 0.3 - Default-Language: Haskell2010 - ghc-options: -Wall diff --git a/dhall-1.41.2.cabal b/dhall-1.41.2.cabal new file mode 100644 index 0000000..ae7dc02 --- /dev/null +++ b/dhall-1.41.2.cabal @@ -0,0 +1,461 @@ +Cabal-Version: 2.4 +Name: dhall +Version: 1.41.2 +x-revision: 4 +Build-Type: Simple +License: BSD-3-Clause +License-File: LICENSE +Copyright: 2017 Gabriella Gonzalez +Author: Gabriella Gonzalez +Maintainer: GenuineGabriella@gmail.com +Bug-Reports: https://github.com/dhall-lang/dhall-haskell/issues +Synopsis: A 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. + . + Read "Dhall.Tutorial" to learn how to use this library +Category: Compiler +Data-Files: + man/dhall.1 +Extra-Source-Files: + CHANGELOG.md + benchmark/**/*.dhall + dhall-lang/Prelude/**/*.dhall + dhall-lang/Prelude/Bool/and + dhall-lang/Prelude/Bool/build + dhall-lang/Prelude/Bool/even + dhall-lang/Prelude/Bool/fold + dhall-lang/Prelude/Bool/not + dhall-lang/Prelude/Bool/odd + dhall-lang/Prelude/Bool/or + dhall-lang/Prelude/Bool/show + dhall-lang/Prelude/Double/show + dhall-lang/Prelude/Function/compose + dhall-lang/Prelude/Function/identity + dhall-lang/Prelude/Integer/abs + dhall-lang/Prelude/Integer/add + dhall-lang/Prelude/Integer/clamp + dhall-lang/Prelude/Integer/equal + dhall-lang/Prelude/Integer/greaterThan + dhall-lang/Prelude/Integer/greaterThanEqual + dhall-lang/Prelude/Integer/lessThan + dhall-lang/Prelude/Integer/lessThanEqual + dhall-lang/Prelude/Integer/multiply + dhall-lang/Prelude/Integer/negate + dhall-lang/Prelude/Integer/negative + dhall-lang/Prelude/Integer/nonNegative + dhall-lang/Prelude/Integer/nonPositive + dhall-lang/Prelude/Integer/positive + dhall-lang/Prelude/Integer/show + dhall-lang/Prelude/Integer/subtract + dhall-lang/Prelude/Integer/toDouble + dhall-lang/Prelude/Integer/toNatural + dhall-lang/Prelude/JSON/Format + dhall-lang/Prelude/JSON/Nesting + dhall-lang/Prelude/JSON/Tagged + dhall-lang/Prelude/JSON/Type + dhall-lang/Prelude/JSON/array + dhall-lang/Prelude/JSON/bool + dhall-lang/Prelude/JSON/double + dhall-lang/Prelude/JSON/integer + dhall-lang/Prelude/JSON/keyText + dhall-lang/Prelude/JSON/keyValue + dhall-lang/Prelude/JSON/natural + dhall-lang/Prelude/JSON/null + dhall-lang/Prelude/JSON/number + dhall-lang/Prelude/JSON/object + dhall-lang/Prelude/JSON/omitNullFields + dhall-lang/Prelude/JSON/render + dhall-lang/Prelude/JSON/renderAs + dhall-lang/Prelude/JSON/renderYAML + dhall-lang/Prelude/JSON/string + dhall-lang/Prelude/JSON/tagInline + dhall-lang/Prelude/JSON/tagNested + dhall-lang/Prelude/List/all + dhall-lang/Prelude/List/any + dhall-lang/Prelude/List/build + dhall-lang/Prelude/List/concat + dhall-lang/Prelude/List/concatMap + dhall-lang/Prelude/List/default + dhall-lang/Prelude/List/drop + dhall-lang/Prelude/List/empty + dhall-lang/Prelude/List/filter + dhall-lang/Prelude/List/fold + dhall-lang/Prelude/List/generate + dhall-lang/Prelude/List/head + dhall-lang/Prelude/List/index + dhall-lang/Prelude/List/indexed + dhall-lang/Prelude/List/iterate + dhall-lang/Prelude/List/last + dhall-lang/Prelude/List/length + dhall-lang/Prelude/List/map + dhall-lang/Prelude/List/null + dhall-lang/Prelude/List/partition + dhall-lang/Prelude/List/replicate + dhall-lang/Prelude/List/reverse + dhall-lang/Prelude/List/shifted + dhall-lang/Prelude/List/take + dhall-lang/Prelude/List/unpackOptionals + dhall-lang/Prelude/List/unzip + dhall-lang/Prelude/List/zip + dhall-lang/Prelude/Location/Type + dhall-lang/Prelude/Map/Entry + dhall-lang/Prelude/Map/Type + dhall-lang/Prelude/Map/empty + dhall-lang/Prelude/Map/keyText + dhall-lang/Prelude/Map/keyValue + dhall-lang/Prelude/Map/keys + dhall-lang/Prelude/Map/map + dhall-lang/Prelude/Map/values + dhall-lang/Prelude/Monoid + dhall-lang/Prelude/Natural/build + dhall-lang/Prelude/Natural/enumerate + dhall-lang/Prelude/Natural/equal + dhall-lang/Prelude/Natural/even + dhall-lang/Prelude/Natural/fold + dhall-lang/Prelude/Natural/greaterThan + dhall-lang/Prelude/Natural/greaterThanEqual + dhall-lang/Prelude/Natural/isZero + dhall-lang/Prelude/Natural/lessThan + dhall-lang/Prelude/Natural/lessThanEqual + dhall-lang/Prelude/Natural/listMax + dhall-lang/Prelude/Natural/listMin + dhall-lang/Prelude/Natural/max + dhall-lang/Prelude/Natural/min + dhall-lang/Prelude/Natural/odd + dhall-lang/Prelude/Natural/product + dhall-lang/Prelude/Natural/show + dhall-lang/Prelude/Natural/sort + dhall-lang/Prelude/Natural/subtract + dhall-lang/Prelude/Natural/sum + dhall-lang/Prelude/Natural/toDouble + dhall-lang/Prelude/Natural/toInteger + dhall-lang/Prelude/Optional/all + dhall-lang/Prelude/Optional/any + dhall-lang/Prelude/Optional/build + dhall-lang/Prelude/Optional/concat + dhall-lang/Prelude/Optional/default + dhall-lang/Prelude/Optional/filter + dhall-lang/Prelude/Optional/fold + dhall-lang/Prelude/Optional/head + dhall-lang/Prelude/Optional/last + dhall-lang/Prelude/Optional/length + dhall-lang/Prelude/Optional/map + dhall-lang/Prelude/Optional/null + dhall-lang/Prelude/Optional/toList + dhall-lang/Prelude/Optional/unzip + dhall-lang/Prelude/Text/concat + dhall-lang/Prelude/Text/concatMap + dhall-lang/Prelude/Text/concatMapSep + dhall-lang/Prelude/Text/concatSep + dhall-lang/Prelude/Text/default + dhall-lang/Prelude/Text/defaultMap + dhall-lang/Prelude/Text/replicate + dhall-lang/Prelude/Text/show + dhall-lang/Prelude/Text/spaces + dhall-lang/Prelude/XML/Type + dhall-lang/Prelude/XML/attribute + dhall-lang/Prelude/XML/element + dhall-lang/Prelude/XML/emptyAttributes + dhall-lang/Prelude/XML/leaf + dhall-lang/Prelude/XML/render + dhall-lang/Prelude/XML/text + dhall-lang/tests/**/*.dhall + dhall-lang/tests/**/*.dhallb + dhall-lang/tests/**/*.hash + dhall-lang/tests/**/*.txt + dhall-lang/tests/import/cache/dhall/12203871180b87ecaba8b53fffb2a8b52d3fce98098fab09a6f759358b9e8042eedc + dhall-lang/tests/import/cache/dhall/1220618f785ce8f3930a9144398f576f0a992544b51212bc9108c31b4e670dc6ed21 + tests/**/*.dhall + tests/**/*.tags + tests/**/*.txt + +Source-Repository head + Type: git + Location: https://github.com/dhall-lang/dhall-haskell/tree/master/dhall + +Flag with-http + Description: Include support for importing dhall modules from HTTP URLs + Default: True + Manual: True + +Flag use-http-client-tls + Description: Use http-client-tls for resolving HTTP imports by default + (requires with-http to be enabled) + Default: True + Manual: True + +Flag cross + Description: Disable TemplateHaskell to make cross-compiling easier + Default: False + Manual: True + +Flag network-tests + Description: Enable tests which depend on an internet connection + Default: True + Manual: True + +Common common + Build-Depends: + base >= 4.11.0.0 && < 5 , + aeson >= 1.0.0.0 && < 2.2 , + aeson-pretty < 0.9 , + ansi-terminal >= 0.6.3.1 && < 0.12, + atomic-write >= 0.2.0.7 && < 0.3 , + base16-bytestring >= 1.0.0.0 , + bytestring < 0.12, + case-insensitive < 1.3 , + cborg >= 0.2.0.0 && < 0.3 , + cborg-json >= 0.2.2.0 && < 0.3 , + containers >= 0.5.8.0 && < 0.7 , + contravariant < 1.6 , + data-fix < 0.4 , + deepseq < 1.5 , + Diff >= 0.2 && < 0.5 , + directory >= 1.3.0.0 && < 1.4 , + dotgen >= 0.4.2 && < 0.5 , + either >= 5 && < 5.1, + exceptions >= 0.8.3 && < 0.11, + filepath >= 1.4 && < 1.5 , + half >= 0.2.2.3 && < 0.4 , + haskeline >= 0.7.2.1 && < 0.9 , + hashable >= 1.2 && < 1.5 , + indexed-traversable < 0.2 , + lens-family-core >= 1.0.0 && < 2.2 , + -- megaparsec follows SemVer: https://github.com/mrkkrp/megaparsec/issues/469#issuecomment-927918469 + megaparsec >= 8 && < 10 , + mmorph < 1.3 , + mtl >= 2.2.1 && < 2.4 , + network-uri >= 2.6 && < 2.7 , + optparse-applicative >= 0.14.0.0 && < 0.18, + parsers >= 0.12.4 && < 0.13, + parser-combinators , + prettyprinter >= 1.7.0 && < 1.8 , + prettyprinter-ansi-terminal >= 1.1.1 && < 1.2 , + pretty-simple < 4.2 , + profunctors >= 3.1.2 && < 5.7 , + repline >= 0.4.0.0 && < 0.5 , + serialise >= 0.2.0.0 && < 0.3 , + scientific >= 0.3.0.0 && < 0.4 , + template-haskell >= 2.13.0.0 && < 2.20, + text >= 0.11.1.0 && < 2.1 , + text-manipulate >= 0.2.0.1 && < 0.4 , + text-short >= 0.1 && < 0.2 , + th-lift-instances >= 0.1.13 && < 0.2 , + time >= 1.9 && < 1.13, + transformers >= 0.5.2.0 && < 0.7 , + unordered-containers >= 0.1.3.0 && < 0.3 , + uri-encode < 1.6 , + vector >= 0.11.0.0 && < 0.14 + + if flag(with-http) + CPP-Options: + -DWITH_HTTP + if flag(use-http-client-tls) + CPP-Options: + -DUSE_HTTP_CLIENT_TLS + if flag(network-tests) + CPP-Options: + -DNETWORK_TESTS + + GHC-Options: -Wall -Wcompat -Wincomplete-uni-patterns + +Library + Import: common + Hs-Source-Dirs: src + if impl(ghcjs) + Hs-Source-Dirs: ghcjs-src + Build-Depends: + ghcjs-base , + ghcjs-xhr + else + Hs-Source-Dirs: ghc-src + Build-Depends: + cryptohash-sha256 + if flag(with-http) + Build-Depends: + http-types >= 0.7.0 && < 0.13, + http-client >= 0.5.0 && < 0.8 + if flag(use-http-client-tls) + Build-Depends: + http-client-tls >= 0.2.0 && < 0.4 + + Other-Extensions: + BangPatterns + CPP + DefaultSignatures + DeriveAnyClass + DeriveDataTypeable + DeriveFunctor + DeriveGeneric + DeriveTraversable + FlexibleContexts + FlexibleInstances + GeneralizedNewtypeDeriving + MultiParamTypeClasses + NamedFieldPuns + OverloadedLists + OverloadedStrings + RankNTypes + RecordWildCards + ScopedTypeVariables + StandaloneDeriving + TupleSections + TypeFamilies + TypeOperators + UnicodeSyntax + if !flag(cross) + Other-Extensions: + TemplateHaskell + + Exposed-Modules: + Dhall + Dhall.Binary + Dhall.Context + Dhall.Core + Dhall.Crypto + Dhall.Diff + Dhall.DirectoryTree + Dhall.Format + Dhall.Freeze + Dhall.Import + Dhall.Lint + Dhall.Main + Dhall.Marshal.Decode + Dhall.Marshal.Encode + Dhall.Map + Dhall.Optics + Dhall.Parser + Dhall.Parser.Expression + Dhall.Parser.Token + Dhall.Pretty + Dhall.Repl + Dhall.Schemas + Dhall.Set + Dhall.Src + Dhall.Substitution + Dhall.Tags + Dhall.Tutorial + Dhall.TypeCheck + Dhall.Util + Dhall.Version + if !flag(cross) + Exposed-Modules: + Dhall.TH + if impl(ghc >= 8.6.1) + Exposed-Modules: + Dhall.Deriving + Other-Modules: + Dhall.Eval + Dhall.Import.Types + Dhall.Import.Headers + Dhall.Marshal.Internal + Dhall.Normalize + Dhall.Parser.Combinators + Dhall.Pretty.Internal + Dhall.Syntax + Dhall.URL + Paths_dhall + Autogen-Modules: + Paths_dhall + if flag(with-http) + Other-Modules: + Dhall.Import.HTTP + Dhall.Import.Manager + + Default-Language: Haskell2010 + +Executable dhall + Import: common + Hs-Source-Dirs: dhall + Main-Is: Main.hs + Build-Depends: dhall + GHC-Options: -rtsopts + Default-Language: Haskell2010 + +Test-Suite tasty + Import: common + Type: exitcode-stdio-1.0 + Hs-Source-Dirs: tests + Main-Is: Dhall/Test/Main.hs + Other-Modules: + Dhall.Test.Dhall + Dhall.Test.Diff + Dhall.Test.Tags + Dhall.Test.Format + Dhall.Test.Freeze + Dhall.Test.Import + Dhall.Test.Lint + Dhall.Test.Normalization + Dhall.Test.Parser + Dhall.Test.QuickCheck + Dhall.Test.Regression + Dhall.Test.Schemas + Dhall.Test.SemanticHash + Dhall.Test.Substitution + Dhall.Test.TH + Dhall.Test.Tutorial + Dhall.Test.TypeInference + Dhall.Test.Util + Build-Depends: + dhall , + foldl < 1.5 , + generic-random >= 1.3.0.0 && < 1.6 , + http-client , + http-client-tls , + QuickCheck >= 2.14 && < 2.15, + quickcheck-instances >= 0.3.12 && < 0.4 , + special-values < 0.2 , + spoon < 0.4 , + system-filepath , + tasty >= 0.11.2 && < 1.5 , + tasty-expected-failure < 0.13, + tasty-hunit >= 0.10 && < 0.11, + tasty-quickcheck >= 0.9.2 && < 0.11, + tasty-silver < 3.4 , + temporary >= 1.2.1 && < 1.4 , + turtle < 1.7 , + Default-Language: Haskell2010 + +Test-Suite doctest + Import: common + Type: exitcode-stdio-1.0 + Hs-Source-Dirs: doctest + Main-Is: Main.hs + Build-Depends: + mockery < 0.4 , + doctest >= 0.7.0 + if os(windows) + -- https://github.com/dhall-lang/dhall-haskell/issues/2237 + Buildable: False + Default-Language: Haskell2010 + +Benchmark dhall-parser + Import: common + Type: exitcode-stdio-1.0 + Hs-Source-Dirs: benchmark/parser + Main-Is: Main.hs + Build-Depends: + dhall , + gauge >= 0.2.3 && < 0.3, + Default-Language: Haskell2010 + Other-Extensions: + TypeApplications + Ghc-Options: -rtsopts + +Benchmark deep-nested-large-record + Import: common + Type: exitcode-stdio-1.0 + Hs-Source-Dirs: benchmark/deep-nested-large-record + Main-Is: Main.hs + Build-Depends: + dhall , + gauge >= 0.2.3 && < 0.3 + Default-Language: Haskell2010 diff --git a/dhall.spec b/dhall.spec index dfc4a7f..84c1ac5 100644 --- a/dhall.spec +++ b/dhall.spec @@ -1,4 +1,4 @@ -# generated by cabal-rpm-2.0.9 +# generated by cabal-rpm-2.1.0 # https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/ %global pkg_name dhall @@ -7,11 +7,11 @@ # testsuite missing deps: generic-random quickcheck-instances special-values spoon tasty-expected-failure tasty-silver Name: %{pkg_name} -Version: 1.39.0 -Release: 5%{?dist} +Version: 1.41.2 +Release: 1%{?dist} Summary: A configuration language guaranteed to terminate -License: BSD +License: BSD-3-Clause Url: https://hackage.haskell.org/package/%{name} # Begin cabal-rpm sources: Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz @@ -22,19 +22,74 @@ Source1: https://hackage.haskell.org/package/%{pkgver}/%{name}.cabal#/%{p BuildRequires: dos2unix BuildRequires: ghc-Cabal-devel BuildRequires: ghc-rpm-macros +BuildRequires: ghc-Diff-devel +BuildRequires: ghc-aeson-devel +BuildRequires: ghc-aeson-pretty-devel +BuildRequires: ghc-ansi-terminal-devel +BuildRequires: ghc-atomic-write-devel +BuildRequires: ghc-base-devel +BuildRequires: ghc-base16-bytestring-devel +BuildRequires: ghc-bytestring-devel +BuildRequires: ghc-case-insensitive-devel +BuildRequires: ghc-cborg-devel +BuildRequires: ghc-cborg-json-devel +BuildRequires: ghc-containers-devel +BuildRequires: ghc-contravariant-devel +BuildRequires: ghc-cryptohash-sha256-devel +BuildRequires: ghc-data-fix-devel +BuildRequires: ghc-deepseq-devel +BuildRequires: ghc-directory-devel +BuildRequires: ghc-dotgen-devel +BuildRequires: ghc-either-devel +BuildRequires: ghc-exceptions-devel +BuildRequires: ghc-filepath-devel +BuildRequires: ghc-half-devel +BuildRequires: ghc-hashable-devel +BuildRequires: ghc-haskeline-devel +BuildRequires: ghc-http-client-devel +BuildRequires: ghc-http-client-tls-devel +BuildRequires: ghc-http-types-devel +BuildRequires: ghc-indexed-traversable-devel +BuildRequires: ghc-lens-family-core-devel +BuildRequires: ghc-megaparsec-devel +BuildRequires: ghc-mmorph-devel +BuildRequires: ghc-mtl-devel +BuildRequires: ghc-network-uri-devel +BuildRequires: ghc-optparse-applicative-devel +BuildRequires: ghc-parser-combinators-devel +BuildRequires: ghc-parsers-devel +BuildRequires: ghc-pretty-simple-devel +BuildRequires: ghc-prettyprinter-devel +BuildRequires: ghc-prettyprinter-ansi-terminal-devel +BuildRequires: ghc-profunctors-devel +BuildRequires: ghc-repline-devel +BuildRequires: ghc-scientific-devel +BuildRequires: ghc-serialise-devel +BuildRequires: ghc-template-haskell-devel +BuildRequires: ghc-text-devel +BuildRequires: ghc-text-manipulate-devel +BuildRequires: ghc-text-short-devel +BuildRequires: ghc-th-lift-instances-devel +BuildRequires: ghc-time-devel +BuildRequires: ghc-transformers-devel +BuildRequires: ghc-unordered-containers-devel +BuildRequires: ghc-uri-encode-devel +BuildRequires: ghc-vector-devel +%if %{with ghc_prof} BuildRequires: ghc-Diff-prof BuildRequires: ghc-aeson-prof BuildRequires: ghc-aeson-pretty-prof BuildRequires: ghc-ansi-terminal-prof BuildRequires: ghc-atomic-write-prof BuildRequires: ghc-base-prof +BuildRequires: ghc-base16-bytestring-prof BuildRequires: ghc-bytestring-prof BuildRequires: ghc-case-insensitive-prof BuildRequires: ghc-cborg-prof BuildRequires: ghc-cborg-json-prof BuildRequires: ghc-containers-prof BuildRequires: ghc-contravariant-prof -BuildRequires: ghc-cryptonite-prof +BuildRequires: ghc-cryptohash-sha256-prof BuildRequires: ghc-data-fix-prof BuildRequires: ghc-deepseq-prof BuildRequires: ghc-directory-prof @@ -48,9 +103,9 @@ BuildRequires: ghc-haskeline-prof BuildRequires: ghc-http-client-prof BuildRequires: ghc-http-client-tls-prof BuildRequires: ghc-http-types-prof +BuildRequires: ghc-indexed-traversable-prof BuildRequires: ghc-lens-family-core-prof BuildRequires: ghc-megaparsec-prof -BuildRequires: ghc-memory-prof BuildRequires: ghc-mmorph-prof BuildRequires: ghc-mtl-prof BuildRequires: ghc-network-uri-prof @@ -67,12 +122,14 @@ BuildRequires: ghc-serialise-prof BuildRequires: ghc-template-haskell-prof BuildRequires: ghc-text-prof BuildRequires: ghc-text-manipulate-prof +BuildRequires: ghc-text-short-prof BuildRequires: ghc-th-lift-instances-prof +BuildRequires: ghc-time-prof BuildRequires: ghc-transformers-prof -BuildRequires: ghc-transformers-compat-prof BuildRequires: ghc-unordered-containers-prof BuildRequires: ghc-uri-encode-prof BuildRequires: ghc-vector-prof +%endif Requires: %{name}-common = %{version}-%{release} # End cabal-rpm deps @@ -144,7 +201,6 @@ This package provides the Haskell %{name} profiling library. %setup -q dos2unix -k -n %{SOURCE1} %{name}.cabal # End cabal-rpm setup -cabal-tweak-dep-ver pretty-simple '< 4.1' '< 4.2' %build @@ -197,6 +253,10 @@ install -m 0644 -p -D man/%{name}.1 %{buildroot}%{_mandir}/man1/%{name}.1 %changelog +* Sun Jan 22 2023 Jens Petersen - 1.41.2-1 +- https://hackage.haskell.org/package/dhall-1.41.2/changelog +- refresh to cabal-rpm-2.1.0 with SPDX migration + * Thu Jul 21 2022 Fedora Release Engineering - 1.39.0-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild diff --git a/sources b/sources index fd2d56f..60ba856 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (dhall-1.39.0.tar.gz) = d6a2198e7569623c372ac8cfec00db714cefde683bcb8d8c30acc89c6f536d3dfa7f79f3e61e0080eb0312ca67580d86c079396046e5eb39aea592a93211b52b +SHA512 (dhall-1.41.2.tar.gz) = d2d1b0f513f02f8eb9bc25d0e01a1e749c09eb4089a0982b1ea20f18ff598932b62c898e764167f74718dc71aabe5760ce2e0abe0fe550cb7f1b3ac773219f9a