Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Lint Prelude #571

Merged
merged 3 commits into from Jun 4, 2019

Conversation

Projects
None yet
2 participants
@Gabriel439
Copy link
Contributor

commented Jun 1, 2019

Fixes #563

This change does a few things:

  • First, this fixes the hashes in the Prelude

  • Second, this adds CI support for keeping the Prelude files
    formatted, linted, and hashed in sync with a
    specific revision of the Haskell Dhall implementation

  • Third, this adds a ./script/lint-prelude.sh script for regenerating
    the expected hashes for convenience

Lint Prelude
Fixes #563

This change does a few things:

* First, this fixes the hashes in the Prelude

* Second, this adds CI support for keeping the hashes in sync with a
  specific revision of the Haskell Dhall implementation

* Third, this adds a `./script/lint-prelude.sh` script for regenerating
  the expected hashes for convenience

Gabriel439 added some commits Jun 4, 2019

@Gabriel439 Gabriel439 merged commit 542e3ab into master Jun 4, 2019

1 check passed

hydra Hydra build #14224 of dhall-lang:571:dhall-lang
Details

@Gabriel439 Gabriel439 deleted the gabriel/lint_prelude branch Jun 4, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.