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

Exclude headers from dhall resolve output #1603

Merged
merged 1 commit into from
Dec 11, 2019
Merged

Conversation

Gabriella439
Copy link
Collaborator

@Gabriella439 Gabriella439 commented Dec 11, 2019

Fixes #1602

Specifically, exclude headers when using
--dot / --immediate-dependencies / --transitive-dependencies

This also fixed a bug along the way where --transitive-dependencies
was inconsistent with --immediate-dependencies. Specifically,
--immediate-dependencies would include hashes while
--transitive-dependencies would not. Now they both include hashes
in their output

Specifically, exclude headers when using
--dot` / `--immediate-dependencies` / `--transitive-dependencies`

This also fixed a bug along the way where `--transitive-dependencies`
was inconsistent with `--immediate-dependencies`.  Specifically,
`--immediate-dependencies` would include hashes while
 `--transitive-dependencies` would not.  Now they both include hashes
in their output
@mergify mergify bot merged commit 3fda3b9 into master Dec 11, 2019
@mergify mergify bot deleted the gabriel/no_headers branch December 11, 2019 03:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

dhall resolve should allow header exclusion
2 participants