They were being printed as `{=]`

The `layoutSmart` option appears to not behave correctly when specifying an
`Unbounded` number ...

The `dhall` executable was missing the empty line separating the type
from the normalized form ...

This commit introduces dhalli, a fairly minimal Dhall REPL that supports:

* Evalution of Dhal...

Fixes #253

This protects `typeWith` to reject any custom-context that might trigger a
type-c...

This commit splits out the pretty printing logic from Dhall.Core into its own
module. Dhall.Cor...

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

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

This change has two benefits:

* U...

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

Fixes #250

This al...

The existing logic for escaping identifiers was rather ad-hoc and was
incorrectly skipping over...

Related to #244

This updates Dhall's syntax tree to use an insert-ordered hashmap to store
r...

Related to #244

Now, a multi-line record/union will always format the field values on a new
...

Related to https://github.com/fpco/stackage/issues/3238

The immediate motivation of this chan...

Fixes #229

This updates `dhall-format` to use multi-line string literals whenever
pretty-pri...

Fixes #230

The type error for the list now returns the expression for the mismatched
element...

This ensures that the test file is automatically bundled with the package

`dhall-format` now supports string interpolation

Text interpolation was not being type-checked, which this change fixes

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

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

Fixes #216

This changes the internal representation of `TextLit` to be able to
store an inte...

'inputWith' is like 'input', but allows for a custom typing context and
normalizer.

Fixes #213.

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

Two type-checking steps shi...

Fixes #209

The `prettyExprD` function would only transition to the `docs` loop if the
outerm...

Allows providing a custom context to 'load', but without requiring a way to
actually read paths...

Related to https://github.com/fpco/stackage/issues/3178

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

As standardized in https://github.co...

This is based on the matching change to the standard in:

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

This adds `Paths_dhall` to the `Other-modules` section for
`dhall-hash` to match the other exec...

Fixes #163

This provides a new `constructors` keyword which can be used to create a
record o...

As part of formalizing the semantics of Dhall there are a few places
where the type-checker was...

Fixes #156

This allows people to selectively catch that exception

Related to #162

This forbids imports from `localhost` and `127.0.0.1` URLs from counting as
...

This overhauls `exprFromPath` (and every function downstream of that) to
speed up imports when ...

Related to https://github.com/fpco/stackage/issues/3062

Should make it easier to debug complex dhall configurations.

On systems with the locale set to non-UTF8 (e.g. `LC_ALL=C`, the default POSIX
locale), handles...

Fixes #59

The recent refactor of the Dhall grammar made `List/map` no longer a valid
identif...

The former is better-behaved for Unicode inputs on Windows

This should build on OSX as well as Linux.
When there is a git tag, the build should create a R...

Fixes #179

This updates the instructions and fixes the spurious reference to
`prettyprinter....

This option causes the executable to format the output, for ease of
reading

This updates the `dhall-format` tutorial example to reflect the improvements
introduced in 8d27...

`dhall-format` was adding superfluous parentheses when formatting certain
expressions, such as ...

This allows users to compute the hash to use for an import

Related to #10

Seems to be pointing at an old location of this repository, I have updated it to point at the cu...

This updates the recently added support for integrity checking to hash the
final normalized res...

Related to #162

You can now add `sha256:XXX...XXX` after any import to verify that the import...

Fixes #164

The parser for single-quoted strings did not match the language standard, which
w...

The purpose of this change is to match this change to the grammar:

https://github.com/dhall-l...

Fixes #152

This fixes pretty-printed `Text` literals to be valid Dhall code

This also fixe...

This updates the tutorial to mention a convenient link to the latest version of
the Prelude so ...

This updates the parser to match the newly standardized Dhall grammar located
at:

https://gi...

* Fix type-checking bug that permits infinite loop

Fixes #151

Dhall is based on a pure typ...

I figured we should start to eat our own dogfood and format the Prelude using
`dhall-format`. ...

Partial fix for #145

Before this change `dhall-format` would get rid of all comments when for...

prettyprinter doesn't match on lts-9.0. You get the following error
with stack:

```
Error: ...

This change modifies the behavior of `Natural/fold` and `List/fold` to
intelligently switch bet...

This improves the output when pretty-printing nested `if`/`then`/`else`
expressions

Before t...

Printing nested `if`/`then`/`else` expressions would result in unnecessary
parentheses, like th...

Fixes #139

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

This takes a Dhall expression on stan...

Dhall requires that a `let` expression of the form:

```haskell
let x : t = e1 in e2
```

...

* Fix unbound variable bug

Related to #10

When type-checking the following expression:

...

This simplifies the `shell.nix` to reuse the `dhall` derivation from
`release.nix` and also ens...