This begins updates the filesystem layout for the tests to match
the new layout from the standa...

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

CI was running tests, but they weren't blocking merge because they weren't a
dependency of the ...

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

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

This uses a variation on CCω with t...

Add a set of agnostic tests for the parser. Since the AST is not
standard, the closest thing we...

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

This also adds `dha...

In https://github.com/dhall-lang/dhall-lang/pull/266 I forgot to specify how to
encode `let` ex...

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

According to the standard, Unicode ...

* Port normalization, import and typecheck tests from the Haskell implementation
* Add a small ...

Fixes #260

In other words, this is now legal:

```haskell
let x = 1
let y = 2
in x + y
...

Also, add build instructions for cabal and stack in alphabetical order

This ensures that all of the `dhall-*` libraries build against
GHC 8.6.1, but still generates t...

Fixes #258

This clarifies the license used for both the Prelude and the standard

The issue was that the parser was attempting to parse // first, which
will succeed on the prefi...

The motivation for this change is:

* To catch build failures in downstream packages whenever ...

Now it points to the `./Prelude` subdirectory of `dhall-lang` instead of
the `Prelude` reposito...

This contains subExpressions, a traversal that visits all immediate
sub-Expr's of an Expr. This...

Fixes #655

The standard grammar specifies that `Some` must be followed by
non-empty whitespa...

Addressing phase 1 of https://github.com/dhall-lang/dhall-lang/issues/244 and https://github.com...

The main changes are:

* Remove IPFS deployment which has been obsoleted in favor of GitHub

...

Part 1 explained at #244

Proposal to overload `.` syntax to allow us to get the constructor ...

On cabal-install-2.4, using cabal-version 2.2 means that a lot of
extra-source-files don't get ...

There are actually no breaking API changes this release that I can see (1.3.0.0...master), so th...

... as suggested here:

https://github.com/dhall-lang/dhall-lang/issues/240#issuecomment-42757...

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

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

Fixes #643

* Also export `Natural/toDouble` in `Natural/package.dhall`

Here’s an example:

./polyfunctor
```dhall
λ(j : Kind)
→ λ(k : Kind)
→ λ(c : j → j → Typ...

This uses Dhall's import system to fetch the Prelude so that we don't have
to keep a local copy...

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

`dhall freeze` will now refreez...

`repline` requires you to specify the leading character for commands now,
otherwise it disables...

Fixes https://github.com/dhall-lang/dhall-json/issues/64

See the discussion in https://github.com/dhall-lang/dhall-lang/issues/242
and the corresponding...

* Use last lts-12 and use pr-624 commit

* Drop unused insert-ordered-containers

* Change I...

In #238 we intended to add support for records of type constructors by adding a new
`Sort` cons...

`dhall-json` needs this so that it can pattern match on a `Map` as a list
of key-value pairs

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

The main changes are:

* There ...

This change drops the dependency on `insert-ordered-containers` in favor of a
new `Dhall.Map` m...

... as requested by @jneira so that Dhall will continue to work as a
dependency of Eta, which i...

This is to prepare ahead for an upcoming new release of `dhall`

This is the first version of repline with GHC 8.6 support, but it
comes with some API changes.

Fixes https://github.com/dhall-lang/dhall-json/issues/60

In the above issue, a remote import ...

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

This changes `dhall freeze` to u...

This is mostly just updating the Dhall enumerations for things,
fortunately.

Closes #128.

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

This uses the new `https` link and ...

Due to OS X's case-insensitive filesystem the build fails due to it
accidentally resolving the ...

This benchmark allows one to run:

```
$ stack bench --profile --library-profiling dhall:dhal...

Fixes #108

This gives a massive (~30x) parsing performance improvement for the benchmark
cod...

This adds a 1-character lookahead step for parsing builtins so that all of
the alternatives don...

This decreases the heap utilization of the parser by over 10x (~5.5 MB to
350 KB) and improves ...

This groups operators that work on different types into a single precedence
level to improve pa...

This is to pull in improvements to the default behavior for multi-line
string literals

CI only tests GHC 8.4, so it missed the fact that `Dhall.Util` does not build
on GHC 8.0 or GHC...

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

This also requires a...

This is related to https://github.com/dhall-lang/dhall-lang/pull/233

Specifically, `List/fold...

See: https://github.com/dhall-lang/dhall-haskell/issues/568#issuecomment-421777944

Fixes #573

Example output:

```
$ dhall --explain <<< './test.dhall'

↳ ./test.dhall
...

Previously `dhall freeze` would tag imports with their hash but not actually
cache the hashed e...

07f873244038fcf1fd48db80584b5d577a05fe20 caused `dhall format` to start saving
escape codes to ...