Fixes #562

This flag changes causes the pretty-printer to render ASCII instead of
Unicode

* Move to megaparsec version 7.0.0.

* Add megaparsec.nix

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

The legacy `Optional...

Fixes #557

The reason you want to α-normalize last is because β-normalization can
introduce new bound vari...

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

Fixes #548

This c...

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

Fixes #547

This a...

The haskell package overrides section of `overlayDynamic` was shadowing
the corresponding overr...

Fixes #539

The default `dhall` command no longer outputs types to `stderr`.
Instead, the use...

This ensures that we don't accidentally forget to package data files
when uploading to Hackage ...

Part of #532

Before this change a type diff might look like this:

```haskell
∀(… : ∀(...

As standardized in https://github.com/dhall-lang/dhall-lang/pull/209

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

For example, given t...

* rename previous lts-11 yaml file and add needed extra-deps

* use new lts-12.4

* add impo...

The immediate goal of this pull request was to add command-line support
for a `--protocol-versi...

As standardized in dhall-lang/dhall-lang/pull/127

Fixes #516

00c79f5d654ae151f7171456c1786d89caa512d3 and
d287f020895e7b6f13f61eb58030e5207fe2...

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

This also changes th...

This uses `takeWhile{,1}P` as a faster alternative to `many . satisfy` to
speed up parsing larg...

This also exposes the `Option` and `Mode` types in `Dhall.Main`, since they
were missing from t...

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

This helps prevent wasteful rebuilds in CI

This adds a new `dhall-static` target that builds a fully static `dhall`
executable that can be...

This changes the functions to now take an `InputSettings` record so that:

* We can avoid prol...

* Add various functions explicitly taking a root directory.

Now the importing code is not tie...

Fixes #504

This ensures that all handles use the UTF-8 locale by default so that we don't
ha...

Implements dhall-lang/dhall-lang#184

This comes in handy when testing Stackage-related bumps to upper bounds

... as suggested by @sol

Fixes #493

This implements dhall-lang/dhall-lang#172, by adding
"alternative imports", as detailed in dhal...

Implement the freeze command (#437)

Takes input from stdin or file and updates all imports wi...

Fixes #481

Currently this just removes unused `let` bindings

Part of #424

This special-cases the logic for displaying type mismatches to display
`Optiona...

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

This path was wrong and causes cabal to give out a warning every time one builds

and remove trailing space

Fixes #445

Fixes #453

This updates the pretty-printing logic to match the precedence of the grammar.

...

This updates the logic in `Dhall.Diff` to accurately match parsing precedence
(in order to avoi...

Fixes #462

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

Fixes #468

The code to strip leading whitespace was incorrectly computing the leading
whites...

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

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

Previously, `cabal check` was failing because of `default-language`
fields. They require 1.10, ...

I discovered we have a variant of `input` in `dhall-to-cabal` whose
main innovation is being ab...

They were breaking without this for me when running with `new-test`.

Fixes #40

This removes all uses of `Buildable` and replaces them with the `Pretty` class.
Th...

Closes #454.

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

There is one expression in the tu...

Signed-off-by: Basile Henry <[email protected]>

* Use Haskell2010

* dhall-diff-lists: Diff list values

Issue #431

Make the diff of two ...

* Benchmark was using Lazy Text

* Stack reolver being used was not compatible with multiple c...

Add the command line Parser along with a basic implementation for the diff of two expressions af...

Fixes #411

This moves `dhall-repl` to become a `repl` subcommand of the `dhall`
executable f...

This logic was migrated to the `dhall-lang` repository here:

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

This moves the `dhall` executable's logic to a `Dhall.Main` module, for
two main reasons:

* ...

Fixes #417

The parser already enforces at parse time that union and union types don't have
d...

Fixes #426

This changes `noted` to remove gratuitous `Note` constructors from the
syntax tree

`exprFromText`'s inputs were confusing, didn't know what `String` was. Documented inputs.

Part of #424

This changes type errors to pretty-print expressions inserted in the
message

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

Note that this doesn...

Fixes #416.

Also
- adds some Template Haskell to be able to load & resolve a Dhall expressio...

* Speed up type-checking large expressions bound with let

In #69, `let` was changed to substi...

* Benchmark Prelude files

* Add issue 108 example

* Some cleaning up

* Remove printing ...

* Benchmark Prelude files

* Add issue 108 example

* Some cleaning up

* Remove printing ...