* Add support for linting of Dhall code

Registers an editor command that sends a "workspace/e...

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

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

* Find unused bindings inside nested lets

The removeUnusedBindings rule only matches the firs...

* Refactor Dhall.LSP.Backend.Formatting

Exposes `formatExpr :: Text -> Expr a Import -> Text`...

Now that `hnix-0.6.1` is out `dhall-nix` can be built against recent
versions of Hackage packag...

In the case that an older kubernetes openapi is used, some of the
excluded models for newer ver...

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

This enables the test suite for ...

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

See https://github.com/dhall-lang/dhall-lang/pull/583

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

* Remove dummy LSP handlers

* Publish diagnostics directly

So far we were using haskell-ls...

* Clean up dhall-lsp-server's Main.hs

Also adds haddock comments.

* Remove TODO comment

...

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

`Natural/fold` was misbehaving on G...

* Avoid clash between Backend.Dhall.Diagnostics.Range and Language.Haskell.LSP.Types.Range

* ...

... to point to v8.0.0

* Refactor Diagnostics backend

This commits refactors Backend.Dhall.Diagnostics, cleaning thi...

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

*...

Adds client-side functionality to present the user with clickable links on hovering over certain...

This one sneaked in somehow.

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

Part of https://github.com/dhall-lang/dhall-lang/issues/563

This flag freezes imports in the ...

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

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 reverts commit 4e376a222038cc22daa4d68d7b482856a7621ba4.

The use of custom URI schemes mak...

Add a TextDocumentContentProvider that handles dhall-explain URIs of the
format "dhall-explain:?...

In order to be able to offer the user on hovering over a type error to
display a detailed explan...

* dhall-lsp-server: Revert from Relude to standard Prelude

The code so far used Relude in pla...

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

Fixes #971

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

Fixes #860

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

Fixes #959

In yaml-0.11, Text.Libyaml was split into the libyaml package. Hence,
as dhall-json imports tha...

Seems that Main.Default changed in #949, but this use-site wasn't
changed at the same time.

The test-suite uses the executable at build-time. New-style
cabal-install requires it to be men...

As Dhall's bounds don't allow base 4.13, this doesn't actually affect
anyone running in a suppo...

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

runUnion stops GHC helping us out with case exhaustivity checking.

In the course of making th...

Fixes https://discourse.dhall-lang.org/t/broken-link-on-dhall-lang-org/87

... as caught by @p...

The files are identical, and the decider in favour of doing it this
way around is that SBI was ...

Previously, we'd unconditionally try to substitute in or bind the
variable, but this could go w...

As discussed in #150 (see comments).

Setting an unknown license with cabal spec < 2.0 threw a...

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

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

E.g.,
```
{ unit : …
```
was being printed as
```
{ unit : : …
```

Fixes #513

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

This allows users to supply the ...

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

The tests were unnecessarily attempting to resolve imports, which is
orthogonal to linting

Before, `dhall-to-json`/`dhall-to-yaml` would use approximate
representations for special `Doub...

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

Allow to generare quoted scalars if needed via providing a custom encode
options to Data.Yaml.e...