203a22818e
`dhall lint` was incorrectly deleting `let` bindings that are being used due to not checking other `let` bindings within the same multi-`let` expression for free variable occurrences. This change fixes that and adds the first regression test for `dhall lint` |
||
|---|---|---|
| dhall | ||
| dhall-bash | ||
| dhall-json | ||
| dhall-text | ||
| nix | ||
| .gitignore | ||
| .travis.yml | ||
| cabal.project | ||
| default.nix | ||
| LICENSE | ||
| README.md | ||
| release.nix | ||
| stack-lts-6.yaml | ||
| stack-lts-11.yaml | ||
| stack.yaml | ||
dhall-haskell
This repository is a shared repository for all of the dhall-* Haskell
packages, including:
Navigate to each package's directory for their respective READMEs
Quick start
Building from source
cabal
You can build all of the packages by running:
$ cabal new-build all
And each of them with cabal new-build <package-name>, for example:
$ cabal new-build dhall
... or you can run cabal new-build within each package directory.
nix
You can build all of the packages by running:
$ nix-build
... or you can run nix-build within each package's respective directory to
build just that one package.
stack
You can build all of the packages with
$ stack build
And each of them with stack build <package-name>, for example:
$ stack build dhall-json
Development status
The compiler is built upon a theoretically sound foundation, meaning that if there are no bugs then the language will never crash and will always halt. However, in practice the compiler needs to be battle-tested to weed out any implementation bugs, so please open issues! 🙂
Read the following guide if you would like to contribute: