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

This adds support for specifying alternative for imports, as detailed in #163.
We add:
- a `?`...

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 #166

Fixes #40

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

Closes #454.

* compare keys
* 2 space indent
* no trailing newline
* generic numformat

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.

Also expose parseGenericPackageDescriptionThrows, a new convenience function.

This is useful ...

Part of #424

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

This removes a use of runUnion (#84) and produces much friendlier
output.

Originally part of...

It's a vestige from earlier development, and doesn't work with recent
versions of dhall-to-cabal.

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

Add some documentation and examples

defaults/BuildInfo.dhall already includes an other-modules field.

Also fixes a crash in cabal-to-dhall if OtherOS was used.

Hackage complains:

> Packages using 'cabal-version: 2.0' and the autogenerated module Paths_*...

* print-type: Refer to the Extension union by import.

`Extension` is fairly large and it's no...

The biggest change is the introduction of SPDX licenses, which have to
be reflected in Dhall; a...

Much like #46, this is a field that it is not sensible to do without.

* Benchmark Prelude files

* Add issue 108 example

* Some cleaning up

* Remove printing ...

* Benchmark Prelude files

* Add issue 108 example

* Some cleaning up

* Remove printing ...

This will grab the current version number from Paths_dhall_to_cabal
and then generate the URL t...

Before this change, the grammar made possible to parse an expression
like `./a.b` in 3 differe...

The 'Parent' constructor is entirely subsumed by 'Here'; having it
only leads to redundant repr...

See https://github.com/dhall-lang/dhall-json/pull/29

This adds back the missing tests for `List/indexed` (and fixes the
test failures)

I think that this is a lot clearer about what it is doing, rather than
the previous algorithm, ...

Fixes #50.

* Fix tracking which branches are already true or false in conditionals

Previously, only one ...

I don't have the time to fix them, but we're adding new tests for new features
as we go.

Fixes #402

The simplest way to summarize this bug is the following incorrect behavior
before...

Before this change, a path like `../../foo` would canonicalize incorrectly
to `./foo`. This ch...

Fixes #5

The standard specifies a depth-first import algorithm for resolving
imports but the Haskell imp...

Fixes #399

Fixes #397

This is the first release of the Prelude after the change to `Natural`
literals

The Prelude examples and code now reflect the fact that `Natural`
numbers don't require a leadi...