This adds a fast path for bulk parsing of both double-quoted and
single-quoted string literals,...

Fixes #54

Fixes #586

Fixes #582

This introduces a new `exprToImport` utility that is used to cache the
fully-reso...

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

The test file used the (non-standard) protocol version string "1.0.0"
from back when I was expe...

This is a more efficient version of 335ef3bc57b514db97dfa4041c75d3cd79fcce7e
which uses `sortMa...

`readDirectory` was upstreamed into `nixpkgs` as `packagesFromDirectory`
and now that we are on...

There are a several places where the error message either has too many
or too few newlines, whi...

This reorganizes the code to use `subcommand` and `render` consistently

This includes a chang...

... as standardized by https://github.com/dhall-lang/dhall-lang/pull/228

Fixes #560

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

This change ensures that th...

Now that `dhall-clj` is publicly an actively supported implementation @f-f should
get the abili...

This adds a high level API (+ tests) for:
- Deployment.v1
- Service.v1

Fixes #562

This flag changes causes the pretty-printer to render ASCII instead of
Unicode

* Move to megaparsec version 7.0.0.

* Add megaparsec.nix

... as standardized in https://github.com/dhall-lang/dhall-lang/pull/227

The legacy `Optional...

I had forgotten to mirror these to the official Prelude when I added them to
the Prelude used b...

This also removes `./Optional/{Some,None}` since they are now obsolete

... as discussed in https://github.com/dhall-lang/dhall-lang/issues/113#issuecomment-404814540
...

Issue #124 demonstrates a problem where an alpha-normalized expression
no longer works with dha...

Fixes #557

The reason you want to α-normalize last is because β-normalization can
introduce new bound vari...

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

Previously the standard required...

... as standardized in https://github.com/dhall-lang/dhall-lang/pull/223

Fixes #548

This c...

... as standardized in https://github.com/dhall-lang/dhall-lang/pull/222

Fixes #547

This a...

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

This change requires at least on...

See change to comment in source code for rationale. This avoids a copy, but is also more robust....

The haskell package overrides section of `overlayDynamic` was shadowing
the corresponding overr...

Previously, only the `ModuleRenaming` case was handled. However, there
are two other cases: `De...

Fixes #539

The default `dhall` command no longer outputs types to `stderr`.
Instead, the use...

This ensures that we don't accidentally forget to package data files
when uploading to Hackage ...

Part of #532

Before this change a type diff might look like this:

```haskell
∀(… : ∀(...

Fixes #48

The `dhall` dependency was failing to build with the older version of
Nixpkgs on OS X due to ht...

The `dhall` dependency was failing to build with the older version of
Nixpkgs on OS X due to ht...

Fixes commercialhaskell/stackage#3899.

Fixes #211

This changes `missing` to be parsed as a type of import instead of an
identifier ...

As standardized in https://github.com/dhall-lang/dhall-lang/pull/209

Fixes #410

This prevents the user from doing:

```
⊢ { foo = 1 } // { bar = Natural }

{...

... as standardized in https://github.com/dhall-lang/dhall-lang/pull/208

For example, given t...

Fixes #129

This specifies both how to verify and how to cache imports protected by
semantic ...

A lot of people interested in Dhall want to use it to replace YAML. Although
YAML is a superse...

Fix #12 by introducing a `< Int : Natural | String : Text >` Union for the "int-or-string" forma...

* rename previous lts-11 yaml file and add needed extra-deps

* use new lts-12.4

* add impo...

* We move all the example code from the readme to the `examples` folder.
* We provide a `script...

The immediate goal of this pull request was to add command-line support
for a `--protocol-versi...

Fixes #189

This moves the case study to the Dhall wiki and replaces it with a more concise
c...

As standardized in dhall-lang/dhall-lang/pull/127

Fixes #516

00c79f5d654ae151f7171456c1786d89caa512d3 and
d287f020895e7b6f13f61eb58030e5207fe2...

... as standardized in https://github.com/dhall-lang/dhall-lang/pull/194

This also changes th...

Fixes #158

This specifies a standard binary encoding for Dhall expressions based on
CBOR, wh...

Updates the examples in this section to the Natural/Integer syntax switch

By necessity this bumps us to Dhall 1.16, as well.

Closes #114

This uses `takeWhile{,1}P` as a faster alternative to `many . satisfy` to
speed up parsing larg...

This also exposes the `Option` and `Mode` types in `Dhall.Main`, since they
were missing from t...

We require whitespace when parsing the `NaturalPlus` operator,
so it's not ambiguous with the `...

... as standardized in https://github.com/dhall-lang/dhall-lang/pull/203

Fixes #201

I'll begin by explaining how to α-normalize the case for λ-expressions, since
tha...

This helps prevent wasteful rebuilds in CI