diff --git a/dhall-bash/dhall-bash.cabal b/dhall-bash/dhall-bash.cabal index d74b12756..e73293762 100644 --- a/dhall-bash/dhall-bash.cabal +++ b/dhall-bash/dhall-bash.cabal @@ -1,5 +1,5 @@ Name: dhall-bash -Version: 1.0.31 +Version: 1.0.32 Cabal-Version: >=1.10 Build-Type: Simple Tested-With: GHC == 8.4.3, GHC == 8.6.1 @@ -31,7 +31,7 @@ Library base >= 4.11.0.0 && < 5 , bytestring < 0.11, containers < 0.7 , - dhall >= 1.33.0 && < 1.34, + dhall >= 1.34.0 && < 1.35, neat-interpolation < 0.6 , shell-escape < 0.3 , text >= 0.2 && < 1.3 diff --git a/dhall-docs/CHANGELOG.md b/dhall-docs/CHANGELOG.md index bb576b28c..9def6829c 100644 --- a/dhall-docs/CHANGELOG.md +++ b/dhall-docs/CHANGELOG.md @@ -1,3 +1,19 @@ +1.0.0 + +* [Generate documentation from header comment](https://github.com/dhall-lang/dhall-haskell/pull/1929) + * `dhall-docs` will now render a module header from a comment at + the beginning of a Dhall file + * The comment syntax is essentially markdown with the same whitespace + and indentation rules as multi-line strings in Dhall + * Both block comments and multiple single-line comments are supported +* [Jump to imports](https://github.com/dhall-lang/dhall-haskell/pull/1959) + * The documentation will now generate links for relative and remote imports found within the + rendered source code +* [Add support for non-`let` type annotations](https://github.com/dhall-lang/dhall-haskell/pull/1928) + * `dhall-docs` can now also extract the type of a module from a type + annotation on a bare expression (i.e. an expression that is not a + `let` expression) + 0.0.1 -* Project skeleton with command line options +* Initial beta release diff --git a/dhall-docs/dhall-docs.cabal b/dhall-docs/dhall-docs.cabal index 075665cef..45245e053 100644 --- a/dhall-docs/dhall-docs.cabal +++ b/dhall-docs/dhall-docs.cabal @@ -1,5 +1,5 @@ Name: dhall-docs -Version: 0.0.1 +Version: 1.0.0 Cabal-Version: >=1.10 Build-Type: Simple Tested-With: GHC == 8.6.1 @@ -63,7 +63,7 @@ Library bytestring < 0.11, containers , directory >= 1.3.0.0 && < 1.4 , - dhall >= 1.32.0 , + dhall >= 1.34.0 && < 1.35, file-embed >= 0.0.10.0 , filepath >= 1.4 && < 1.5 , lens-family-core >= 1.0.0 && < 2.2 , diff --git a/dhall-json/CHANGELOG.md b/dhall-json/CHANGELOG.md index a3f960f9c..6914ebba1 100644 --- a/dhall-json/CHANGELOG.md +++ b/dhall-json/CHANGELOG.md @@ -1,3 +1,9 @@ +1.7.1 + +* [Format documents with leading `---`](https://github.com/dhall-lang/dhall-haskell/pull/1865) + * Now if you use the `--documents` flag the first document will also + include a leading `---` + 1.7.0 * BREAKING CHANGE: [Add `--generated-comment` flag for `dhall-to-yaml{-ng}`](https://github.com/dhall-lang/dhall-haskell/pull/1840) diff --git a/dhall-json/dhall-json.cabal b/dhall-json/dhall-json.cabal index 5b06c5d38..5036b0970 100644 --- a/dhall-json/dhall-json.cabal +++ b/dhall-json/dhall-json.cabal @@ -1,5 +1,5 @@ Name: dhall-json -Version: 1.7.0 +Version: 1.7.1 Cabal-Version: >=1.10 Build-Type: Simple Tested-With: GHC == 8.4.3, GHC == 8.6.1 @@ -44,7 +44,7 @@ Library aeson-yaml >= 1.1.0 && < 1.2 , bytestring < 0.11, containers >= 0.5.9 && < 0.7 , - dhall >= 1.33.0 && < 1.34, + dhall >= 1.33.0 && < 1.35, exceptions >= 0.8.3 && < 0.11, filepath < 1.5 , lens-family-core >= 1.0.0 && < 2.2 , diff --git a/dhall-lsp-server/dhall-lsp-server.cabal b/dhall-lsp-server/dhall-lsp-server.cabal index a14b7f205..bd02ab845 100644 --- a/dhall-lsp-server/dhall-lsp-server.cabal +++ b/dhall-lsp-server/dhall-lsp-server.cabal @@ -1,5 +1,5 @@ name: dhall-lsp-server -Version: 1.0.8 +Version: 1.0.9 cabal-version: 1.12 synopsis: Language Server Protocol (LSP) server for Dhall homepage: https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-lsp-server#readme @@ -50,7 +50,7 @@ library , containers >= 0.5.11.0 && < 0.7 , data-default >= 0.7.1.1 && < 0.8 , directory >= 1.2.2.0 && < 1.4 - , dhall >= 1.29.0 && < 1.34 + , dhall >= 1.29.0 && < 1.35 , dhall-json >= 1.4 && < 1.8 , filepath >= 1.4.2 && < 1.5 , haskell-lsp >= 0.19.0.0 && < 0.23 diff --git a/dhall-nix/dhall-nix.cabal b/dhall-nix/dhall-nix.cabal index b5c6b4362..e7302ec7c 100644 --- a/dhall-nix/dhall-nix.cabal +++ b/dhall-nix/dhall-nix.cabal @@ -1,5 +1,5 @@ Name: dhall-nix -Version: 1.1.15 +Version: 1.1.16 Cabal-Version: >=1.10 Build-Type: Simple Tested-With: GHC == 8.0.1 @@ -30,7 +30,7 @@ Library base >= 4.11.0.0 && < 5 , containers < 0.7 , data-fix < 0.4 , - dhall >= 1.31 && < 1.34, + dhall >= 1.34 && < 1.35, hnix >= 0.7 && < 0.10, lens-family-core >= 1.0.0 && < 2.2 , neat-interpolation < 0.6 , diff --git a/dhall-nixpkgs/dhall-nixpkgs.cabal b/dhall-nixpkgs/dhall-nixpkgs.cabal index 3ddc3bb1b..27eaeeab0 100644 --- a/dhall-nixpkgs/dhall-nixpkgs.cabal +++ b/dhall-nixpkgs/dhall-nixpkgs.cabal @@ -19,7 +19,7 @@ Executable dhall-to-nixpkgs Build-Depends: base >= 4.11 && < 5 , aeson >= 1.0.0.0 && < 1.5 , data-fix - , dhall >= 1.32.0 && < 1.34 + , dhall >= 1.32.0 && < 1.35 , foldl < 1.5 , hnix >= 0.7 && < 0.10 , lens-family-core >= 1.0.0 && < 2.2 diff --git a/dhall-openapi/dhall-openapi.cabal b/dhall-openapi/dhall-openapi.cabal index 25ec69273..92e7fe6da 100644 --- a/dhall-openapi/dhall-openapi.cabal +++ b/dhall-openapi/dhall-openapi.cabal @@ -23,7 +23,7 @@ executable openapi-to-dhall base >= 4.8.2.0 && < 5 , aeson >= 1.0.0.0 && < 1.5 , containers >= 0.5.0.0 && < 0.7 , - dhall >= 1.22.0 && < 1.34 , + dhall >= 1.34.0 && < 1.35 , megaparsec >= 7.0 && < 8.1 , optparse-applicative >= 0.14.3.0 && < 0.16 , parser-combinators >= 1.0.3 && < 1.3 , diff --git a/dhall-yaml/CHANGELOG.md b/dhall-yaml/CHANGELOG.md index 5d6dea708..c9269010d 100644 --- a/dhall-yaml/CHANGELOG.md +++ b/dhall-yaml/CHANGELOG.md @@ -1,3 +1,9 @@ +1.2.1 + +* [Format documents with leading `---`](https://github.com/dhall-lang/dhall-haskell/pull/1865) + * Now if you use the `--documents` flag the first document will also + include a leading `---` + 1.2.0 * BREAKING CHANGE: [Add `--generated-comment` flag for `dhall-to-yaml{-ng}`](https://github.com/dhall-lang/dhall-haskell/pull/1840) diff --git a/dhall-yaml/dhall-yaml.cabal b/dhall-yaml/dhall-yaml.cabal index 5dcae1293..940d13f22 100644 --- a/dhall-yaml/dhall-yaml.cabal +++ b/dhall-yaml/dhall-yaml.cabal @@ -1,5 +1,5 @@ Name: dhall-yaml -Version: 1.2.0 +Version: 1.2.1 Cabal-Version: >=1.10 Build-Type: Simple Tested-With: GHC == 8.4.3, GHC == 8.6.1 @@ -37,7 +37,7 @@ Library base >= 4.11.0.0 && < 5 , aeson >= 1.0.0.0 && < 1.6 , bytestring < 0.11, - dhall >= 1.31.0 && < 1.34, + dhall >= 1.31.0 && < 1.35, dhall-json >= 1.6.0 && < 1.8 , optparse-applicative >= 0.14.0.0 && < 0.16, text >= 0.11.1.0 && < 1.3 , diff --git a/dhall/CHANGELOG.md b/dhall/CHANGELOG.md index a30797a5e..b1a4b0ef2 100644 --- a/dhall/CHANGELOG.md +++ b/dhall/CHANGELOG.md @@ -1,3 +1,45 @@ +1.34.0 + +* [Supports version 17.1.0 of the standard](https://github.com/dhall-lang/dhall-lang/releases/tag/v17.1.0) + * [Add support for trailing commas](https://github.com/dhall-lang/dhall-haskell/pull/1885) +* BREAKING CHANGE to the API: [Support prefix comments on record key-value pairs](https://github.com/dhall-lang/dhall-haskell/pull/1908) + * The Dhall AST (i.e. `Expr`) now preserves some comments for record types + and record literals + * The impact of this change is that you will need to add + `Dhall.Syntax.makeRecordField` or `Dhall.Syntax.recordFieldValue` in a few + places wherever your Haskell assembles or disassembles record expressions + * The motivation of this change is two-fold: + * To eventually enable `dhall-docs` support for rendering record + comments as documentation + * To eventually enable support for preserving record-related comments + when formatting Dhall code +* BUG FIX: [Fix `with` expressions to permit functions on their left-hand side](https://github.com/dhall-lang/dhall-haskell/pull/1897) + * This was a case of the Haskell implementation not being compliant with the + standard grammar +* [Drop support for GHC 8.2](https://github.com/dhall-lang/dhall-haskell/pull/1949) +* [Add a new `dhall rewrite-with-schemas` command](https://github.com/dhall-lang/dhall-haskell/pull/1902) + * You can now simplify a Dhall expression using a schema record (e.g. a + `./schemas.dhall` record that a package might provide) + * This simplification replaces large anonymous records with an + equivalent use of a record completion when possible +* [Add `--transitive` flag to `dhall {format,lint,freeze}](https://github.com/dhall-lang/dhall-haskell/pull/1880) + * This flag lets you format/lint/freeze a file and all of its transitive + dependencies that are reachable via relative file imports +* [Move `man/dhall.1` to `data-files`](https://github.com/dhall-lang/dhall-haskell/pull/1921) + * This ensures that Cabal will install `dhall`'s `man` pages in the + correct directory +* Performance improvements + * [#1879](https://github.com/dhall-lang/dhall-haskell/pull/1879) +* Standards compliance + * [#1953](https://github.com/dhall-lang/dhall-haskell/pull/1953) + * [#1954](https://github.com/dhall-lang/dhall-haskell/pull/1954) + * [#1956](https://github.com/dhall-lang/dhall-haskell/pull/1956) + * [#1957](https://github.com/dhall-lang/dhall-haskell/pull/1957) + * [#1958](https://github.com/dhall-lang/dhall-haskell/pull/1958) +* Fixes and improvements to haddocks + * [#1881](https://github.com/dhall-lang/dhall-haskell/pull/1881) + * [#1955](https://github.com/dhall-lang/dhall-haskell/pull/1955) + 1.33.1 * [Multi-line REPL / support `repline-0.4.0.0`](https://github.com/dhall-lang/dhall-haskell/pull/1867) diff --git a/dhall/dhall-lang b/dhall/dhall-lang index 0c899ab31..2cb2e1804 160000 --- a/dhall/dhall-lang +++ b/dhall/dhall-lang @@ -1 +1 @@ -Subproject commit 0c899ab31fdb857f535fe9f5b37f981271824a65 +Subproject commit 2cb2e1804aa5ba8379137df1fc1fd1e9afb17ec7 diff --git a/dhall/dhall.cabal b/dhall/dhall.cabal index 5e1655935..8b2e02987 100644 --- a/dhall/dhall.cabal +++ b/dhall/dhall.cabal @@ -1,5 +1,5 @@ Name: dhall -Version: 1.33.1 +Version: 1.34.0 Cabal-Version: >=1.10 Build-Type: Simple Tested-With: GHC == 8.4.3, GHC == 8.6.1 @@ -38,11 +38,14 @@ Extra-Source-Files: 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 @@ -62,6 +65,7 @@ Extra-Source-Files: 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 @@ -86,6 +90,7 @@ Extra-Source-Files: 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 @@ -114,8 +119,10 @@ Extra-Source-Files: 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 @@ -125,6 +132,7 @@ Extra-Source-Files: 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 @@ -149,6 +157,7 @@ Extra-Source-Files: dhall-lang/Prelude/Natural/sum dhall-lang/Prelude/Natural/toDouble dhall-lang/Prelude/Natural/toInteger + dhall-lang/Prelude/Natural/*.dhall dhall-lang/Prelude/Optional/all dhall-lang/Prelude/Optional/any dhall-lang/Prelude/Optional/build @@ -164,6 +173,7 @@ Extra-Source-Files: 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 @@ -174,6 +184,7 @@ Extra-Source-Files: 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 @@ -182,6 +193,8 @@ Extra-Source-Files: 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