… to make the `nix-shell` less noisy

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users....

* chore(dhall-openapi): remove Yaml dependencies

Use aeson instead of Yaml in order to get rid ...

Fixes #2047.

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

http://hackage.haskell.org/package/pretty-simple-4.0.0.0/changelog

Co-authored-by: mergify[bot]...

…in order to reduce flakiness,
as suggested by @Gabriel439 in
https://github.com/dhall-lang/dhal...

It doesn't build with dhall 1.34.0:

```
[1 of 1] Compiling Dhall.Bash ( src/Dhall/Bash...

http://hackage.haskell.org/package/hnix-0.10.1/changelog

The `nub'` workaround appears to be ...

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

Co-authored-by: mergify[bot] <379...

http://hackage.haskell.org/package/hnix-0.10.0/changelog

* Fix installed completions

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

* Fi...

Also:
* Use tasty-silver for format tests
* Ignore annotations in isNormalizedIsConsistentWithNo...

* chore: add dhall-openapi to cabal.project

* feat: separate lib/exe in dhall-openapi.cabal
...

* Disable flaky import tests

* Add one more flaky test

… as caught by the AppVeyor build

* An...

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

In the long-run I plan to ...

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

Co-authored-by: mergify[bot] <379...

* Clarify `Decoder` contract

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

* F...

… and fix CI to catch them going forward

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

The tutorial now uses ASCII anywhere that it prompts the user to input
Dhall code

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Now dhall-docs man page will be installed alongside the cabal executable

The original motivation for this was to fix the `kubernetes-dhall-docs` build.
The root cause w...

This is a revamp of our use of
[fully static Haskell executables](https://github.com/NixOS/nixp...

… as permitted by https://github.com/dhall-lang/dhall-lang/pull/1052

* VarDecl -> NameDecl

* VariableUse -> NameUse

* VariableDeclaration -> NameDeclaration

* var...

* preserve more whitespaces on record key-valuese

whitespaces is preserved now...
* Between a l...

Changelog:
http://hackage.haskell.org/package/optparse-applicative-0.16.0.0/changelog

Stackage:...

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

It's not needed for GHC 8+ and we only support those.

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

The `dhall-json` and `dhall-lsp-s...

* Add jump-to-definition on `Lam` bindings i.e. function arguments
* Highlight with a subtle und...

`dhall-json` depends on `Data.Aeson.Types.formatPath`, which is only available
in `aeson-1.4.6....

* record whitespaces on Lam

* remove COMPLETE pragma list

* add haddocks for makeFunctionBindi...

… and enable the build in CI

* [wip] hash file names before writing to tar

* force evaluation of inMemoryTarBytes

* add dha...

* dhall-to-yaml{,-ng}: --documents wraps non-`List`s

See: https://github.com/dhall-lang/dhall-h...

* feat(dhall-docs): add output file command line argument

This change enables setting a file ou...

Now when the user clicks on a variable declared on a let-binding
it will jump to that location. ...

Our hydra jobsets now generate documentation for:

* the Dhall Prelude
* the tests demo package

This is necessary for proper functioning of the release script

* [wip] jump to urls and relative imports

* finish jump to urls

* format urls as code as well
...

* Use path-0.8

See http://hackage.haskell.org/package/path-0.8.0/changelog.

* stack.yaml: Unpi...

Context: https://github.com/commercialhaskell/stackage/issues/5558

Co-authored-by: mergify[bot]...

* Test formatting idempotence with comments in let-bindings

…and configure the formatting idemp...

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* Move `merge` parsing closer to `Some` and `toMap`

…similar to the `first-application-expressi...

The test file hasn't existed since
https://github.com/dhall-lang/dhall-lang/pull/654.

Co-author...

Fixes #1952.

…and do some general cleanup of compatibility code.

Closes #1947.

* Remove Nix config for ...

* Fix `Arbitrary` instance for `Var`

... by disallowing backtick characters in the label

Fixes...

The context for this is:

https://discourse.dhall-lang.org/t/expense-proposal-turn-dhall-kuber...

* Add trailing character to Text bullet point

The bullet point for `Text` at the top of the Dha...

* parse text from comments in Dhall.Parser.Token

* don't recover source position of lines on To...

* feat(dhall-docs): Specification and implementation of the dhall-docs comments format

* add bl...

Context: https://github.com/commercialhaskell/stackage/issues/5537

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

This simplifies some test failures.

* Fix `Arbitrary` instances for `File`s (Take 2)

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

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

The `shrink` implementation was p...

... to not generate `Expr` values that can never be parsed

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

... for consistency with other shells

Otherwise, the test executables create `*.tix` files whic...

... to only generate valid query strings

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

... so that they don't generate invalid path components

* Add `dhall-docs` support for non-`let` type annotations

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

* feat(formatting): support prefix comments on key-value fields on Records

* undo stylish-haske...

* dhall-docs: add ascii characterset support

This change adds a characterset operand and `--asc...

Without this fix URL results in error 404

* Add new `dhall schema` subcommand

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

Switched `foldl` to `foldr` in `dirToDirsMap` so sorting isn't reversed

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* dhall-docs: filter badly encoded dhall file

This change ensure dhall-docs doesn't halt with t...

cabal will now ensure that the dhall-lsp-server executable is
up-to-date before running the inte...

…to simplify fixing test failures.

* document usage of the tool

* add #comments-format link

* Closes #1911

* apply suggestions

* prepare release

* fix typo

* disable appveyor tests

* feat(dhall-docs): Add test-setup and assertions as examples

* remove commented code and impro...

* For each file in the index entry, its type (from source code) is extracted.
* Other minor ui/...

Previously, we would check whether a parsed operator expression may
appear in a with-expression ...

* Breadcrumbs are available to navigate between several folders of the package
* You can copy t...

* feat(rendered-source): First iteration on rendered source code in the dhall documentation

* f...

* Add `--transitive` flag to `dhall {format,lint,freeze}`

The `dhall {format,lint,freeze}` comm...

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

…in order to prevent OOMs in Hydra CI.

This seems to reduce maximum residency when building wit...

* Accelerate performance of trivial re-exports

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

* Format documents with leading `---`

The context for this is: https://github.com/dhall-lang/dh...

* feat(dhall-docs): Add content-addressed storage for generated docs

* add trailing slash to di...

The documentation for how to use the Divisible instance to create a
RecordEncoder ended up in th...