Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions dhall-bash/dhall-bash.cabal
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
Name: dhall-bash
Version: 1.0.35
Version: 1.0.36
Cabal-Version: >=1.10
Build-Type: Simple
Tested-With: GHC == 8.4.3, GHC == 8.6.1
Expand Down Expand Up @@ -31,7 +31,7 @@ Library
base >= 4.11.0.0 && < 5 ,
bytestring < 0.11,
containers < 0.7 ,
dhall >= 1.36.0 && < 1.38,
dhall >= 1.36.0 && < 1.39,
neat-interpolation < 0.6 ,
shell-escape < 0.3 ,
text >= 0.2 && < 1.3
Expand Down
5 changes: 5 additions & 0 deletions dhall-docs/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,8 @@
1.0.4

* Build against `dhall-1.38.0`, `tasty-1.4`, `tasty-silver-3.2`, and
`cryptonite-0.28`

1.0.3

* Build against `dhall-1.37.0`
Expand Down
4 changes: 2 additions & 2 deletions dhall-docs/dhall-docs.cabal
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
Name: dhall-docs
Version: 1.0.3
Version: 1.0.4
Cabal-Version: >=1.10
Build-Type: Simple
Tested-With: GHC == 8.6.1
Expand Down Expand Up @@ -65,7 +65,7 @@ Library
containers ,
cryptonite < 0.29,
directory >= 1.3.0.0 && < 1.4 ,
dhall >= 1.35.0 && < 1.38,
dhall >= 1.35.0 && < 1.39,
file-embed >= 0.0.10.0 ,
filepath >= 1.4 && < 1.5 ,
lens-family-core >= 1.0.0 && < 2.2 ,
Expand Down
4 changes: 4 additions & 0 deletions dhall-json/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,7 @@
1.7.5

* Build against `dhall-1.38.0`, `tasty-1.4`, and `tasty-silver-3.2`

1.7.4

* Build against `dhall-1.37.0`
Expand Down
4 changes: 2 additions & 2 deletions dhall-json/dhall-json.cabal
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
Name: dhall-json
Version: 1.7.4
Version: 1.7.5
Cabal-Version: >=1.10
Build-Type: Simple
Tested-With: GHC == 8.4.3, GHC == 8.6.1
Expand Down Expand Up @@ -44,7 +44,7 @@ Library
aeson-yaml >= 1.1.0 && < 1.2 ,
bytestring < 0.11,
containers >= 0.5.9 && < 0.7 ,
dhall >= 1.36.0 && < 1.38,
dhall >= 1.36.0 && < 1.39,
exceptions >= 0.8.3 && < 0.11,
filepath < 1.5 ,
lens-family-core >= 1.0.0 && < 2.2 ,
Expand Down
4 changes: 2 additions & 2 deletions dhall-lsp-server/dhall-lsp-server.cabal
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
name: dhall-lsp-server
Version: 1.0.12
Version: 1.0.13
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
Expand Down Expand Up @@ -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.35.0 && < 1.38
, dhall >= 1.35.0 && < 1.39
, dhall-json >= 1.4 && < 1.8
, filepath >= 1.4.2 && < 1.5
, haskell-lsp >= 0.19.0.0 && < 0.25
Expand Down
4 changes: 2 additions & 2 deletions dhall-nix/dhall-nix.cabal
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
Name: dhall-nix
Version: 1.1.19
Version: 1.1.20
Cabal-Version: >=1.10
Build-Type: Simple
Tested-With: GHC == 8.0.1
Expand Down Expand Up @@ -30,7 +30,7 @@ Library
base >= 4.11.0.0 && < 5 ,
containers < 0.7 ,
data-fix < 0.4 ,
dhall >= 1.36 && < 1.38,
dhall >= 1.36 && < 1.39,
hnix >= 0.7 && < 0.13,
lens-family-core >= 1.0.0 && < 2.2 ,
neat-interpolation < 0.6 ,
Expand Down
4 changes: 2 additions & 2 deletions dhall-nixpkgs/dhall-nixpkgs.cabal
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Version: 1.0.3
Version: 1.0.4
Cabal-Version: >=1.10
Name: dhall-nixpkgs
Synopsis: Convert Dhall projects to Nix packages
Expand All @@ -19,7 +19,7 @@ Executable dhall-to-nixpkgs
Build-Depends: base >= 4.11 && < 5
, aeson >= 1.0.0.0 && < 1.6
, data-fix
, dhall >= 1.32.0 && < 1.38
, dhall >= 1.32.0 && < 1.39
, foldl < 1.5
, hnix >= 0.10.1 && < 0.13
, lens-family-core >= 1.0.0 && < 2.2
Expand Down
2 changes: 1 addition & 1 deletion dhall-openapi/dhall-openapi.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -49,7 +49,7 @@ library
base >= 4.11.0.0 && < 5 ,
aeson >= 1.0.0.0 && < 1.6 ,
containers >= 0.5.8.0 && < 0.7 ,
dhall >= 1.35.0 && < 1.38 ,
dhall >= 1.35.0 && < 1.39 ,
prettyprinter >= 1.7.0 && < 1.8 ,
scientific >= 0.3.0.0 && < 0.4 ,
sort >= 1.0 && < 1.1 ,
Expand Down
4 changes: 4 additions & 0 deletions dhall-yaml/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,7 @@
1.2.5

* Build against `dhall-1.38.0`, `tasty-1.4`, and `tasty-silver-3.2`

1.2.4

* Build against `dhall-1.37.0`
Expand Down
4 changes: 2 additions & 2 deletions dhall-yaml/dhall-yaml.cabal
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
Name: dhall-yaml
Version: 1.2.4
Version: 1.2.5
Cabal-Version: >=1.10
Build-Type: Simple
Tested-With: GHC == 8.4.3, GHC == 8.6.1
Expand Down Expand Up @@ -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.38,
dhall >= 1.31.0 && < 1.39,
dhall-json >= 1.6.0 && < 1.8 ,
optparse-applicative >= 0.14.0.0 && < 0.17,
text >= 0.11.1.0 && < 1.3 ,
Expand Down
21 changes: 21 additions & 0 deletions dhall/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,24 @@
1.38.0

* [BREAKING CHANGE: Detect preferred character set from input](https://github.com/dhall-lang/dhall-haskell/pull/2108)
* `dhall format` will now preserve the character set of the formatted file
by default. In other words, if the file uses ASCII punctuation then
`dhall format` will format the file using ASCII punctuation.
* If the file contains both ASCII and Unicode punctuation it will prefer
Unicode by default
* This is a breaking change because the `Lam` / `Pi` / `Combine` /
`CombineTypes`, and `Prefer` constructors now take an additional argument
to record which character set was used
* [BUG FIX: Fix CORS compliance check](https://github.com/dhall-lang/dhall-haskell/pull/2121)
* Previous versions were not correctly enforcing CORS compliance
* This implies that some imports that would have worked previously by
accident will now fail; specifically: an import from one domain
transitively importing something from another domain that has not opted
into CORS
* [Add `ToDhall (Fix f)` instance](https://github.com/dhall-lang/dhall-haskell/pull/2122)
* Fixes and improvements to error messages
* [#2130](https://github.com/dhall-lang/dhall-haskell/pull/2130)

1.37.1

* [Fix performance regression for `with` expressions](https://github.com/dhall-lang/dhall-haskell/pull/2112)
Expand Down
2 changes: 1 addition & 1 deletion dhall/dhall-lang
Submodule dhall-lang updated 51 files
+12 −0 CHANGELOG.md
+37 −0 nixops/README.md
+4 −4 nixops/dhall-haskell.json
+1 −0 nixops/dhall-icon.svg
+221 −0 nixops/index.css
+4 −4 nixops/index.html
+53 −0 nixops/index.js
+17 −88 nixops/logical.nix
+2 −2 nixops/nixpkgs.nix
+419 −0 nixops/overlay.nix
+15 −0 nixops/packages/Prelude_14_0_0.nix
+15 −0 nixops/packages/Prelude_15_0_0.nix
+15 −0 nixops/packages/Prelude_16_0_0.nix
+15 −0 nixops/packages/Prelude_17_0_0.nix
+15 −0 nixops/packages/Prelude_18_0_0.nix
+15 −0 nixops/packages/Prelude_19_0_0.nix
+15 −0 nixops/packages/Prelude_20_0_0.nix
+15 −0 nixops/packages/dhall-ansible_0_1_0.nix
+15 −0 nixops/packages/dhall-concourse_0_4_1.nix
+15 −0 nixops/packages/dhall-concourse_0_5_0.nix
+15 −0 nixops/packages/dhall-concourse_0_5_1.nix
+15 −0 nixops/packages/dhall-concourse_0_5_2.nix
+15 −0 nixops/packages/dhall-concourse_0_6_0.nix
+15 −0 nixops/packages/dhall-concourse_0_6_1.nix
+15 −0 nixops/packages/dhall-concourse_0_7_0.nix
+15 −0 nixops/packages/dhall-concourse_0_7_1.nix
+15 −0 nixops/packages/dhall-concourse_0_8_0.nix
+15 −0 nixops/packages/dhall-concourse_0_9_0.nix
+15 −0 nixops/packages/dhall-concourse_0_9_1.nix
+20 −0 nixops/packages/dhall-dot_1_0_0.nix
+15 −0 nixops/packages/dhall-kubernetes_3_0_0.nix
+15 −0 nixops/packages/dhall-kubernetes_4_0_0.nix
+15 −0 nixops/packages/dhall-kubernetes_5_0_0.nix
+15 −0 nixops/packages/dhall-semver_1_0_0.nix
+84 −0 nixops/store.nix
+7 −348 release.nix
+1 −0 standard/AlphaNormalization.lhs
+1 −0 standard/BetaNormalization.lhs
+1 −0 standard/Binary.lhs
+1 −0 standard/Equivalence.lhs
+10 −0 standard/Equivalence.lhs-boot
+1 −0 standard/FunctionCheck.lhs
+31 −13 standard/README.md
+318 −3 standard/alpha-normalization.md
+1,071 −68 standard/beta-normalization.md
+465 −50 standard/binary.md
+50 −0 standard/equivalence.md
+22 −2 standard/function-check.md
+10 −1 standard/standard.cabal
+14 −0 standard/syntax.md
+1 −1 standard/versioning.md
2 changes: 1 addition & 1 deletion dhall/dhall.cabal
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
Name: dhall
Version: 1.37.1
Version: 1.38.0
Cabal-Version: >=1.10
Build-Type: Simple
Tested-With: GHC == 8.4.3, GHC == 8.6.1
Expand Down