This helps fast-tags parse the containing file
(See https://github.com/elaforge/fast-tags/issues...

* Remove Dhall.X and replace with Data.Void

This commit removes the Dhall.X module and the Dhal...

…to fix build failures due to the submodule pointing at an unreachable commit.

* Disable a cu...

Several failed remote import messages didn't include the URL that
the interpreter failed to reso...

Fixes #1183.

This adds a new `--records-loose` flag and changes the default behavior
to `--records-strict`

T...

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

* Implement Natural/truncatedSubtract

* Restore commented out code

* Add pretty printing for N...

* Make it no buildable in windows as suggested by @sjakobi

* Use last lts resolver for ghc-8.6....

Queries `Paths_dhall_lsp_server` (generated by cabal) for the up-to-date
version specified in th...

Note that `dhall-nix` cannot be built on Windows due to its transitive
dependency on the `unix`...

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

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

Fixes #1175.

* Remove most uses of `StandardVersion` from the API

We no longer support multiple versions of ...

Fixes #515

The motivation for this is two-fold:

* To get rid of the standard version from the output

...

The motivation for this change is to avoid α-normalizing all imported
expressions.

For example,...

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

Safari requires a vertical alignmen...

* Allow customization of remote import resolution

Makes the `Status` type more general; previou...

* Fix compilation without `with-http` flag

* Fix compilation with `with-http` flag

* Tag ImportSemantics with their semantic hashes

This is in preparation for semi-semantic cachi...

* Fix `isNormalized` test

The test in question failed intermittently because `isNormalized` is
...

From dhall/tests/Dhall/Test/Regression.hs:

These two examples contain the following express...

Previously, `BAD="0 0" dhall <<< "env:BAD ? 0"` resulted in the
following error:
```
↳ env:BA...

This enables syntax highlighting and formatted output for these two
programs

* Load imports recursively

This is the big change that enables us to implement 'semi-semantic'
...

This allows Exprs to be lifted in template-haskell. This is useful to
build a [dhall||] quasiqu...

* This simplifies pattern matching during encoding.

Context: https://github.com/dhall-lang/dhall-lang/pull/655

* Document that `normalize` is partial

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

* Forbid invalid codepoints

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

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

Also:

* Update the dhall...

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

Context: #1138

Corresponding change to the standard:
https://github.com/dhall-lang/dhall-lang/pull/627

The pot...

Previously, ill-typed expressions like this one got into normalization:

toMap {=} : <>.x

A...

This will be necessary for https://github.com/dhall-lang/dhall-lang/pull/640

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

* Implement dhall.freezeImport and dhall.freezeAllImports

* Remove old (broken) test suite

* R...

Fixes #1092.

* Check normalizeWithM for consistency with normalize

* Implements constant folding of Natural/...

* Add `--file` option to `dhall-json` executables

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

To be more precise (citing the haddocks):

Given a well-typed expression e, (isNormalized e)...

* Fix misleading comment

* Add `Chained` type to capture fully chained imports

Until now we us...

It is not the case that
canonicalize (a <> b) = canonicalize a <> canonicalize b.
For exampl...

* Expose `localToPath` in Dhall.Import

Also modifies `localToPath` to return a relative path if...

…addressing my own comments on
https://github.com/dhall-lang/dhall-haskell/pull/1041.

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

* Move more `dhall-json` test logic into data files

... as suggested @sjakobi in https://github...

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

* Remove usage of legacy Optional syntax

* Dhall.JSON: Use multilet in examples

* Update dhall...

This is inspired by this StackOverflow question:

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

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...

* 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...

* Improve type-on-hover behaviour over binders

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

Closes #1052.

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...

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 ...

* 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...

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...