The main motivation for this change is to enable testing the reference
implementation before pr...

Fixes https://github.com/dhall-lang/dhall-lang/pull/1148

This changes the top-level prelude.d...

… to both dhall-lang.org and store.dhall-lang.org

* Fix `dhall-openapi.cabal`

There were a few issues with the `.cabal` file that prevented me fr...

Fixes https://github.com/dhall-lang/dhall-lang/issues/1144

* INLINABLE more things

I found these by building dhall with -Wall-missing-specialisations.

I ...

#1619 (accidentally) eliminated the Oxford comma in the COC, which should be re-added, for consi...

This improves the documentation and scripts responsible for
generating files. The main changes...

Currently CI does not enforce that they stay
in sync with the `1.17/` package, so I had to
exp...

HaXml is largely unmaintained, so removing the dependency may prevent
future trouble.

lens-family-core is still a transitive dependency because we use
it in the core dhall library.

* Address Cabal warning about use of auto-modules stanza

* Remove redundant import

Fixes https://github.com/dhall-lang/dhall-haskell/issues/2151

Fixes https://github.com/dhall-lang/dhall-haskell/issues/1917

This fixes two separate issues ...

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

http://hackage.haskell.org/package/bytestring-0.11.0.0/changelog

Fixes #2146.

Make the code editors and gifs shrink as necessary.

Split the large hash gif into two smaller...

This change adds the latest release of dhall-ansible.

Fixes https://github.com/dhall-lang/dhall-haskell/issues/2142

The extension with an 's' is no...

In the course of debugging the issues that led to
https://github.com/dhall-lang/dhall-lang/pull...

By default, Hydra does not use the public Nix cache (mainly to
lock down the "chain of custody"...

https://hackage.haskell.org/package/cryptonite-0.28/changelog

Tested locally by adding `crypt...

`These instances comes in handy` -> `These instances come in handy`

http://hackage.haskell.org/package/lsp-test-0.12.0.0/changelog

Tested locally with:

ca...

This is testing a possible long-term solution to the issue
documented in:

https://github.com...

Includes changes from https://github.com/dhall-lang/dhall-haskell/pull/2126
and https://github....

In a63120cd219f5421461bd92806c7e72ebc118834 and
3fdb6ca551f53d34d2e55916576faf8baa215e8a README...

This updates `store.dhall-lang.org` to serve Dhall
documentation for all packages that are buil...

The Kubernetes OpenAPI definition describes this type as:

> IntOrString is a type that can ho...

* Fetch latest versions of kubernetes

* Update dhall-openapi and regenerate

http://hackage.haskell.org/package/haskell-lsp-0.24.0.0/changelog

This change allows contributors to easily add new packages using
the `dhall-to-nixpkgs` utility...

The motivation behind this is better user experience when dealing
with Kubernetes CRDs. CRDs in ...

The script uses `/bin/sh` as the shell, but uses syntax that is
only defined for bash etc. Thes...

These files are only copied into the nix build for the preferred
version, so for all other vers...

OpenAPI intgeger types are signed, but they are currently decoded
into the Dhall Natural type, ...

Changelog: http://hackage.haskell.org/package/hnix-0.12.0.1/changelog

Tested with

cabal bu...

These make it easier to securely interpret Dhall code from a server

The Discourse mail server was broken in the course of upgrading Nixpkgs
in #1114.

The issue ...

… to add the latest version of the Prelude and also
`dhall-kubernetes` releases

This also up...

The `metadata` field is required for all top level resources
according to
https://github.com/kub...

Context is given an openapi.json with both k8s resources and CRDs, some
CRDs will have model nam...

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

The CORS compliance check was previously not rejecting anything,
because the parent and child im...

… to include:

* Binary encoding
* α-normalization
* β-normalization
* Equivalence checking...

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Previously definitions with this set to true would be generated as an
empty record. This change...

For third level definitions and below, the required fields were looked up
from the top level def...

While the HTTP links properly redirect to the new repo, the git clone
command would checkout an...

* dhall-format: Detect character set from input

- Only Dhall syntax is considered for the det...

Fixes: https://github.com/dhall-lang/dhall-haskell/issues/2105

This was a workaround for an older version of `hydra` which appears to
no longer be necessary.

Related to https://github.com/commercialhaskell/stackage/issues/5765

The corresponding Nixpkgs pull request for this is:

https://github.com/NixOS/nixpkgs/pull/104...

- `Dhall.expected resultDecoder` is a `Validation Expected TypeErrors (Expr Src Void)`,
not a...

Now that we have language support for `Text/replace` we don't need
to use `Text/show` any longe...

This builds upon #1102 by adding a literate Haskell
implementation of shifting and substitution...

Hydra started to get stuck after being upgraded in #1114. Specifically,
builds would get stuck...

The motivation of this change is to pick up
[newer Nixpkgs code](https://github.com/NixOS/nixpk...

Fixes https://github.com/dhall-lang/dhall-lang/issues/1108

These tests weren't following the ...

… by escaping backticks inside of the JavaScript multi-line literal

The purpose of this change is to fix the following test failure:

```
Formatting should b...

Related to: https://github.com/dhall-lang/dhall-lang/issues/959

This is the first step toward...

… which should help conserve disk utilization

… by garbage collecting more aggressively.

Before this change old system configurations were ...

Now we properly sanitize attributes and text by escaping special
characters

* Improve cache warning messages

The immediate motivation for this fix is to ensure that
comman...

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Fixes https://github.com/dhall-lang/dhall-haskell/issues/2096

`haddock` doesn't correctly handl...

* also download dhall-yaml

* address nit

* Improve error message for duplicate projection label

… by correctly adhering to the standard,...

This is to fix an issue reported in:

https://github.com/dhall-lang/dhall-haskell/issues/2091#is...

This allows the user to optionally cache the hashed expression

Co-authored-by: mergify[bot] <37...

* Allow `Text/replace ""` to support an abstract haystack

… as standardized in https://github.c...

The following pull request explains why this change is necessary:

https://github.com/NixOS/ni...

Fixes https://github.com/dhall-lang/awesome-dhall/issues/23

… built on top of the Rust bindings

http://hackage.haskell.org/package/hnix-0.11.0/changelog

Co-authored-by: Gabriel Gonzalez <Ga...

… to not consume a trailing comma OUTSIDE of the braces.

Fixes https://github.com/dhall-lang/...