This is inspired by this StackOverflow question:

https://stackoverflow.com/questions/56967374...

... as caught by @vvv in https://github.com/dhall-lang/dhall-lang/pull/386#issuecomment-509931438

Removes any mention of "multi-lets" from the semantics, while adding a
note to the grammar that...

* Several simple tests for toMap

* Fixed the binary file extension

* Fixed two test files
...

* Adjust dhall-kubernetes-generator to handle different swagger specs

The generic URI syntax allows reg-name to be just about anything, but
Dhall does not allaw gene...

The main improvements are:

* Add one-line summary of what Dhall is

This is based on user...

Fixes #1087

* Move "Dot" import graph generation to Dhall.Main

Previously `Dhall.Import` would generate t...

Background:
https://github.com/dhall-lang/dhall-lang/wiki/Migration:-Deprecation-of-constructor...

* Handle empty alternatives when converting from JSON

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

I came accross https://medium.com/mergify/keep-your-repository-clean-delete-your-merged-branches...

This reverts commit 4004d62f286802ebc2679f84031fc4f7e057dbfc.

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

All of the successes are due to a...

Also add Dhall.Map.outerJoin, inspired by Semialign.align.

…via new functions Dhall.Map.{keysSet,restrictKeys} and
Dhall.Set.fromSet.

Also apply these fun...

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

* dhall:tasty: Unskip a few tests

These remain broken:

- tests/parser/failure/annotation
- tes...

* Fix `dhall-json`'s support for preserving alternative names

... as caught by @sjakobi in the ...

Also add the unorderedSingleton and unorderedFromList functions.

This speeds up the "issue 412"...

* Update to latest `dhall-lang`

The main updates are to support the following two changes to th...

* Use Prelude/Map for import headers

This is the official way to do association lists in the ...

* Improve type-on-hover behaviour over binders

Dhall's parser does not generate `Src` annotatio...

Closes #1052.

* Hash comes before `as` in import

* Fix integrity check encoding of b-side

* Also fix imp...

Data.Map.size is O(1), so we expose it via Dhall.Map.

* Normalize types before displaying them to the user

Previously, the type displayed when hove...

* Add record projection tests

* add missing projection-by-type unit tests

This adds:

*...

Context: https://github.com/dhall-lang/dhall-haskell/pull/1064#issuecomment-508552667

This re...

Docs: https://doc.mergify.io/actions.html#merge

Docs: https://doc.mergify.io/examples.html#deleting-merged-branch

For the deep-nested-large-record benchmark, this results in a
speedup of about 0.5–1%.

This changes the parsing error for some cases.

Previously:

⊢ {b=1, a=1, b=1, a=1}

Err...

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

This is an attempt to test...

This gets rid of the separate `santiseRange` utility function that we
used to exclude trailing ...

Fixes #973

The formatter was behaving inconsistently for multi-line strings
depending on whe...

While benchmarking the example from #769 I saw that a significant
amount of time was spent benc...

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

We'll probably never see ...

* Allow all RFC3986-compliant URLs

This expands the URL syntax to allow all RFC3986-compliant...

* Rewriting Dhall.LSP.Backend.Dhall: Implement new API

The old "backend" consisted of a rando...

Since we only want to ensure that the benchmarks continue to
work, we use the following benchma...

This reduces the runtime of the `deep-nested-large-record` benchmark by about 50%.

Note that ...

Fixes #1034

Fixes the `import/success/hashFromCache` test on Windows

Disables currently b...

... as suggested in https://github.com/dhall-lang/dhall-lang/pull/586#issuecomment-500883688

This removes the following packages from `dhall-json`'s dependencies:

- adjunctions
- call-s...

... as suggested by @sjakobi in https://github.com/dhall-lang/dhall-haskell/pull/1027#issuecomme...

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

This also includes small fixes ...

This separates the source from the line numbers using vertical bars
instead of colons. The mai...

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

There were two error constructo...

Mostly reverts #593.

I realised I said I'd keep judgment rules for RFC3986 resolution [1],
a...

This reduces build times for the benchmarks.

A couple of fixes for tests:
- rename the `asLocation` parser test I introduced in #585 to the ...

Closes #1021.

Standardized in https://github.com/dhall-lang/dhall-lang/pull/507.

This standardizes native support for reading import locations into Dhall,
as specified by @Gabr...

see #387

In #586, after some debate we went with a record encoding rather than a
curried encoding, but w...

This improves the error message when users attempt to apply `merge` to only
one argument, as su...

While I do believe the previous version to be correct as well, this
certainly makes it easier t...

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

The documentation explaining how to type-check `let` expressions
was written before we switched...

* Use RFC3986 section 5 URL resolution algorithm

This is part 1 of the proposal in #581. Thi...

* Prelude/Map.dhall: fix field name in the docstring

Fix copy-n-paste error in the documentat...

Thank you!

Some of these examples found a bug in dhall-ruby where normalization for
commuting operators wo...

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

This matches the standard represent...

This adds a new `JSON` type for representing unstructured JSON data
in Dhall.

The goal is to...

B side had wrong encoding for the outer integrity check.

This simplifies the semantics somewhat (actual projection is only there
once) but also allows f...

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

The `subst`/`shift`/`subExpress...

After #989 and #993 the use of the `yaml` package is isolated in the lib modules `Dhall.Yaml` an...

* Type on Hover 1/2: Backend

Adds a function typeAt that, given an annotated expression and a...

`dhall diff` slightly misbehaves when diffing the following expression with
itself:

```dhall...

The `--file` option was essentially broken since it passed in the
file path instead of the dire...

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

At the moment the VSCode plugin contains a hacked-together prototype of
a dhall-to-json (and -t...

* Use Dhall.Lint to simplify --print-type and --print-default.

Unconditionally adding a bindi...