Visitar URL original
infer: Remove redundant checks for field selections and projections by sjakobi · Pull Request #1368 · dhall-lang/dhall-haskell · GitHub
Skip to content

infer: Remove redundant checks for field selections and projections - #1368

Merged
mergify[bot] merged 1 commit into
masterfrom
sjakobi/741-tc
Oct 2, 2019
Merged

mergify[bot] merged 1 commit into
masterfrom
sjakobi/741-tc

Conversation

@sjakobi

@sjakobi sjakobi commented Oct 2, 2019

Copy link
Copy Markdown
Collaborator

… as pointed out by @MonoidMusician in #741.

@sjakobi sjakobi mentioned this pull request Oct 2, 2019
@mergify
mergify Bot merged commit a4b4cfb into master Oct 2, 2019
@mergify
mergify Bot deleted the sjakobi/741-tc branch October 2, 2019 01:41
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.

2 participants