`ealt` (which we use) is only available from version 5 up.

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

* Update README.md

* Add developer instructions

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

The immediate motivation for this change is to add language support for
assertions verified at ...

`a` and `b` are somewhat arbitrary expressions; `n` and `m` are natural
literals. To me it mak...

* Allow `toMap e : T` where `e` is a nonempty record

Currently, there is only one type infere...

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.

Typo in README.md

* Remove most uses of `StandardVersion` from the API

We no longer support multiple versions of ...

This caught a bug in the ruby implementation.

Label 27 is for toMap expressions; we should have a test for it.

Inspired by #661.

Fixes #614.

This ensures that the `as Location` tests chain in a consistent way.
The parent ...

Fixes #515

Label 28 is "empty lists not in the form `[] : List T`"; we should have
a test for it.

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

* Remove union literals from the language

Reducing the surface area of the language makes it ...

* 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 tests that the import alternative operator '?' successfully
recovers from type errors, i.e...

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

Previously the rule seemed to say that the type of a toMap expression is the type (kind) of its ...

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

* This simplifies pattern matching during encoding.

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

This adds a human-readable `.diag` ...

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

Original URL (potPourriA.dhall):

https://-._~%2C!$&'*+;=:@0abc1--12a------a-a--a-0/foo?/-...

It now parses successfully

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

The alternation was omitted, resulting in my parser trying to parse
some and toMap expressions ...

This is a simple refactoring that applies the ALPHANUM pattern introduced in https://github.com/...

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

These rules should be equivalent but more amenable to
recursive descent parsers and bulk parsin...

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

The current grammar forbids: `[] : List a` because it uses `import-expression`
for the type ann...

Fixes #643.

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

This change forbids surrogate ...

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

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

…as discussed in https://github.com/dhall-lang/dhall-lang/pull/625#discussion_r302340879

This fixes an issue with a test caught by the Haskell implementation.

There was a last-minute...

To be more precise (citing the haddocks):

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

The Cabal sample is the output for the Dhall sample with comments removed.

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

Package for dumping primative subset of XML with 'dhall text'.

I realized that we haven't yet published a release containing
`./Prelude/Map.dhall`, so there's...

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

Context: #622

Background:
https://github.com/dhall-lang/dhall-lang/wiki/Migration%3A-Deprecation-of-old-Optio...

Previously an empty list literal had to be of the form

[] : List T

Code like

le...

* Remove usage of legacy Optional syntax

* Dhall.JSON: Use multilet in examples

* Update dhall...