Also forbid DeBruijn indices on builtins, so e.g. `Bool@2` is not allowed anymore

Gets rid of a magic "using machine" comment and also allows for useful
normalizations like:

...

* Fix e-mail support for `discourse.dhall-lang.org`
* Add Ruby as official integration

And always escape every URI path component before import.

Fixes #456

Fixes #462

Built-ins always reference their built-in value, even when there is a
bound varia...

This allows to remove ambiguity with negative-lookahead, e.g. with this rule:

block-comment-c...

As we identified in #480, the standard was underspecified on this

This tests for the issue in dhall-lang/dhall-haskell#890. The behavior is
already correct in th...

Forgot to add new section to the TOC before I merged.

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

This clarifies that the standard do...

all the other builtins are in alphabetical order. Also, the comments
were mismatched.

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

* Allow `merge x y z`

Currently, parsing `merge x y z` is a parse error, and a surprising one...

There are other tests testing the old syntax, this test serves another
purpose (mostly performa...

this is a duplicate of RecordSelectionNormalizeArguments. Maybe a
single test with a more reve...

My implementation was failing this test, but the comments above the
`label` rule weren't helpfu...

* Make every repetition simple

A repetition should contain only a single interesting rule, un...

Prior to this change the following did not typecheck, but they should have.
They now correctly ...

Order of arguments to merge was wrong.

This seems to be an omission from
https://github.com/dhall-lang/dhall-lang/pull/442

* Inline keywords

* Inline symbols and operators

* Remove whitespace from label and identi...

* Add typecheck unit tests

Similar to #416, add typecheck tests that use as few features as
...

* Move multiline text tests from normalization to parser

* Move some parser tests into releva...

... as part of https://github.com/dhall-lang/dhall-lang/pull/438 I
mistakenly changed the large...

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

This adds support for unions with e...

* Allow builtin names as fields

* Add a success test as well

Fixing what I believe to be a typo in the type checking semantics, the
right-hand type of a rig...

The binary encoding specifies that curried function application needs to
be stored in an uncurr...

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

This adds semantic integrity checks...

* Clarify language changes approval in CONTRIBUTING.md

Co-Authored-By: Nadrieril <Nadrieril@u...

Add normalization tests that use as few features as possible to test
each rule specified in sem...

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

@singpolyma noted that fragment ide...

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

This change protects against
[serv...

This also includes an SMTP server for `mail.dhall-lang.org` necessary to
send activation e-mail...

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

This updates the normalization test...

This expands quoted labels to permit all non-control ASCII characters except
backticks

One m...

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

... as caught by @singpolyma

Thi...

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

@singpolyma noted that the standard...

* Remove special rules for builtins in the grammar

* Add Some keyword back in the grammar

...

For reasons specified in #384, this moves the "parser" tests from
CBOR-JSON encoding to binary ...

I realized that there was redundant information being threaded through
the import resolution ju...

This represents phase 3 of removing the `constructors` keyword from the
language. See:

* [M...

This updates the README to mention `dhall-lang.org` and to
also incorporate the new emphasis ...

The file `tests/parser/success/doubleA.dhall` looks like this:

```
[ 1.1, -1.1, 1e1, 1.1e1, ...

* Add white space to empty lines inside rules

* Fix white space

The reason for this change is that the JVM doesn't really support 16-bit floats,
so for binary ...

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

The judgment mistakenly implies tha...

Seems this was mistakenly truncated. This just reverts the change to
the old content.

There are two motivations for adding this built-in:

* For consistency with `Natural/show`, `I...

The parser tests had a number of cases where they had Natural and
Integer syntax swapped round....

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

This extends the range of quoted...

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

The binary representation of Dhall ...

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

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

This newer revision supports `git` submodules correctly

The parsing expected output is in JSON, so this change fixes the extension to
be `.json` instea...

... as caught by @f-f

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

According ...

This is a security check upstreamed from the Haskell implementation into the
standard. This pr...

The files under `nixops/dhall/` were used by the IPFS deployment before
we switched from IPFS t...

... as proposed in https://github.com/dhall-lang/dhall-lang/pull/324#issuecomment-448309792

T...

Thes tests are inspired by mistakes in the Haskell implementation:

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

Fixes #320

This changes `https://dhall-lang.org` to serve the new website for the
language i...

The Dhall tests need to make outbound connections in order to import
code from `prelude.dhall-l...

This requires several changes:

First, `prelude.dhall-lang.org` needs to no longer be a redire...

This upstreams the Haskell implementation's support for custom headers
for remote imports into ...

Fixes #262

Supersedes #214

This upstreams the Haskell implementation's support for multi-l...

Don't require union literal type's type to be `Type`

This extends the import resolution judgement to prevent import cycles
that would trivially allo...

This upstreams the Haskell implementation's support for `as Text`
into the standard. This was ...

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

The motivation for this change i...

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

Before this change the grammar a...

Phase 2 of #244

Changes `constructors` to the identity function. Marking it as deprecated an...

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

This allow path components to be qu...

* Fix a dangling reference to `decode-1.0` which is now
`decodeWithVersion`
* Fix the note a...