The 'Parent' constructor is entirely subsumed by 'Here'; having it
only leads to redundant repr...

This adds back the missing tests for `List/indexed` (and fixes the
test failures)

Fixes #402

The simplest way to summarize this bug is the following incorrect behavior
before...

The standard specifies a depth-first import algorithm for resolving
imports but the Haskell imp...

Fixes #399

Fixes #397

Fixes #391

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

In tests on Dhall configs we use at work, I saw speedups between 33–90% on
extremely complicate...

Hydra doesn't update a pull request if the derivation hasn't changed
since the last revision (i...

This is one step in a series of commits to update the Haskell
implementation to match the impor...

Relevant to #362.

Previously, if an import contained additional imports, it wouldn’t get
cac...

Not sure if this is a change you’re interested in. IMO, it’s nice for stack
users even if they ...

Dhall used to support importing a directory, which would default to
importing a file named `@` ...

Fixes #383

Dhall has a standard way to report where hash mismatch failure occur but
I forgot...

See: https://github.com/fpco/stackage/issues/3620

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

Now `Natural`s no lo...

This updates the data types to match the terminology used in the
standard. Specifically, "path...

This pins `nixpkgs` to a recent revision from the `release-18.03`

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

Fixes #364

This was a typo from long ago.
We construct `UnionLit`s without tuples.
The documentation refl...

The `GeneralizedNewtypeDeriving` extension was not being used at all

The `BangPatterns` exten...

This adds new `dhall version`, `dhall resolve`, `dhall type`, and
`dhall normalize` subcommands...

There are two motivations for this change:

* To slim down `dhall`'s dependency footprint
* T...

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

This adds an additional newline before and after each output line in the
REPL so that it's easi...

Related to #346

This fixes the `GenericInject` instance for a sum type with two
constructors...

This fixes both the parsing and rendering of semantic hashes, which were
failing due to missing...

This fixes the `Buildable` instance for `Src` to use
`Text.Megaparsec.sourcePosPretty` instead ...

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

Fixes #207

This expands Dhall's error messages to include concise "type diffs"
whenever an a...

The long-term motivation for this change is so that we can eventually use a
separate `attoparse...

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

This fixes Dhall to exactly match the guidance given in
https://prime.haskell.org/wiki/Librarie...

This bolds the green highlighted syntax so that it's easier to visually
navigate on white backg...

This fixes α-normalization to correctly relabel a `let`-bound variable

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

There are many symbolic simplifications that the semantics require such
as `+0 + x ⇥ x` and `if...

... as requested by @PierreR

Fixes #305

Now you can do:

```
⊢ :save x = 2
⊢ ./x
2
```

Fixes #20

This migrates `tests/Examples.hs` to use a language-independent test
file format s...

One of the tests had a remote import, which this changes to a relative
import so that the test ...

Fixes #299

The standard mandates that two terms that are α-equivalent and
β-equivalent shoul...

This fixes all of the build built-ins to match the standard semantics

The easiest way to ill...

Fixes #284

This simplifies the context and in each case the value being inserted is
safe to insert because...

This change ensures that the fields of a record or union are sorted
before comparing for equali...

This creates a single expression that users can import for convenience to obtain
a record with ...

The main reason for this change is stylistic (`dhall` doesn't need to
preserve the header becau...

* Add explicit Prettyprinter dep to stack.yaml until LTS supports it

* Remove redundant depen...

This fixes the root cause of e24b3d90faae8dc251d1389812e11c0675edee65 so
that we no longer need...

This adds the `-Werror` flag to CI so that warnings don't sneak into the
build (and also fixes ...

This takes advantage of two features to simplify accessing options
fields:

* This uses `optp...

Eventually we will want to encourage users to download pre-built executables
from Hydra, but th...

This change fixes two issues with output rendering

The first was the following panic in the p...

This is a medium-size example that I frequently use for testing
purposes, so why not add it to ...

The main thing this does is changing the color scheme as follows:

* Use dull green for all pu...

This is part of an effort to create a language-independent compliance
test suite by splitting o...

`shouldParse` is preferable because it only parses the code and does not
attempt to type-check ...

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

Before this change the `dhall` executable would fail on the following input:

```bash
$ dhall...