* Remove union literals from the language

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

This tests that the import alternative operator '?' successfully
recovers from type errors, i.e...

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

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

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

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

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

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

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

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

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

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

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

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

* Use Prelude/Map for import headers

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

* Hash comes before `as` in import

* Fix integrity check encoding of b-side

* Also fix imp...

* Add record projection tests

* add missing projection-by-type unit tests

This adds:

*...

* Allow all RFC3986-compliant URLs

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

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

Mostly reverts #593.

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

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

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

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

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

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

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

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

PR #549 adopted the use of multihash for binary encoding of semantic
hashes; this commit extend...

I'm just getting around to implement import caching, for which I need to
implement binary decod...

This adds a test to ensure that an implementation fetches an import from
cache. It works by ma...

... to point to v8.0.0

... as suggested in https://github.com/dhall-lang/dhall-lang/issues/557#issuecomment-495670317

The main changes are:

* Fix the Discourse service to correctly check out older revisions

*...

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

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

This change does a few things:

*...

The immediate motivation for this change was the following issue against
the Haskell implementa...

This test imports its own expected output, with a hash mismatch. This
isn't a great test, beca...

I believe that I ran across a bug in parsing test for `largeExpressionA.dhall`.
Specifically, t...

This adds support for a new `e.(t)` syntax that lets you project out a
subset of a record's fie...

We don't specifically test anywhere that if a hash doesn't match an
imported expression, that i...

This upstreams a regression test for a silly bug in the Haskell implementation

See: https://g...

Using a byte string with internal label as much more compact than
storing base16 as unicode. R...

* Add test for multiline strings with mixed line endings

This test case caught a bug in dhall...

* require `Natural/fold 1` to call its function

I implemented `Natural/fold` enough to pass N...

Signed-off-by: Stephan Renatus <[email protected]>

I was looking at the README and it seemed strange that some of the most important information is...

Now that empty union alternatives are a language feature, we should use
them in Prelude too.

* fix union constructor type inference judgments

The union constructor type inference judgmen...

* delete alternativesAreTypesA.dhall

this is a byte-for-byte duplicate of unionOfTypesA.dhall...

The old optional syntax (which looks like a funny annotated list) is
deprecated in favour of `S...

Fixes #528.

The previous semantics would not normalize a text literal such as
"${""}${x}" to...

The only way for a union type to have type `Kind` was using the rule:

Γ ⊢ T :⇥ Kind Γ ...

* run `dhall format` over Prelude

the `let` expressions indented in the old way was a little ...

I transcribed them wrong out of dhall-ruby for the last PR and they each
had a trailing newline.

The test as written has a beta reduction as well as an alpha reduction.
The test only seeks to ...

This case was missing from the type inference unit tests.

Similar to how decoding should allow any size number type no matter what
the encoder says to us...

* Fix multiline test

I think my git settings ate the whitespace, since it was so malformed
i...

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

This upstreams a feature of the Has...

This change upstreams a nonstandard, but very useful, behaviour from the
Haskell implementation...

This splits up the various import tests, so that each feature can be
tested separately as it is...

The directory was renamed in 7ea70fbf39021c8c01ab85b831fce1aa386482ca

* Explain the encoding labelling scheme

Also, use "label" instead of "tag", because the word ...

This is to aid people who edit the files from the command line and need to
explicitly type out ...

Fixes #502.

This fixes environmentVariablesB.dhallb to not escape the special
characters in ...