06b4062e4b
This change updates the dhall code to the latest version.
* Support for record pun where `{ x = x }` can now be written as `{ x }`
* Indentation and function definitions are more compact
This change has been generated after installing dhall v1.33 using this
command: find . -name "*.dhall" -exec dhall --ascii format --inplace {} \;
Change-Id: I3b6560f26e28622aa51150dc8083d127d89a8a7b
29 lines
1.2 KiB
Plaintext
29 lines
1.2 KiB
Plaintext
{- This file provides a central `Prelude` import for the rest of the library to
|
|
use so that the integrity check only needs to be updated in one place
|
|
whenever upgrading the interpreter.
|
|
|
|
This allows the user to provide their own Prelude import using the
|
|
`DHALL_PRELUDE` environment variable, like this:
|
|
|
|
```
|
|
$ export DHALL_PRELUDE='https://prelude.dhall-lang.org/package.dhall sha256:...'
|
|
```
|
|
|
|
Note that overriding the Prelude in this way only works if this repository
|
|
is imported locally. Remote imports do not have access to environment
|
|
variables and any attempt to import one will fall back to the next available
|
|
import. To learn more, read:
|
|
|
|
* https://docs.dhall-lang.org/discussions/Safety-guarantees.html#cross-site-scripting-xss
|
|
|
|
This file also provides an import without the integrity check as a slower
|
|
fallback if the user is using a different version of the Dhall interpreter.
|
|
|
|
This pattern is documented in the dhall-nethack repo:
|
|
|
|
* https://github.com/dhall-lang/dhall-nethack/blob/master/Prelude.dhall
|
|
-}
|
|
env:DHALL_PRELUDE
|
|
? https://prelude.dhall-lang.org/v17.0.0/package.dhall sha256:10db3c919c25e9046833df897a8ffe2701dc390fa0893d958c3430524be5a43e
|
|
? https://prelude.dhall-lang.org/v17.0.0/package.dhall
|