Skip to content

fix: allTypes should look in imports#327

Merged
mergify[bot] merged 1 commit intomainfrom
brprice/fix-allTypes
Mar 21, 2022
Merged

fix: allTypes should look in imports#327
mergify[bot] merged 1 commit intomainfrom
brprice/fix-allTypes

Conversation

@brprice
Copy link
Copy Markdown
Contributor

@brprice brprice commented Mar 21, 2022

This was a mistake in the initial implementation. The
documentation was correct, that it should look inside imports,
and the implementation was wrong.

Also adds some tests that would have caught this oversight.
Note that the Eval one is only for consistency -- it would not have
caught the bug since Eval does not ever look at type definitions.

Also adds some tests that would have caught this oversight.
Note that the Eval one is only for consistency -- it would not have
caught the bug since Eval does not ever look at type definitions.
Comment thread primer/test/Tests/EvalFull.hs
Comment thread primer/test/Tests/Eval.hs
@brprice brprice requested a review from a team March 21, 2022 10:55
@brprice
Copy link
Copy Markdown
Contributor Author

brprice commented Mar 21, 2022

Thanks @georgefst for pointing this bug out in #293 (review)

@brprice brprice added the Ready to merge Ready to merge label Mar 21, 2022
mergify Bot added a commit that referenced this pull request Mar 21, 2022
@mergify mergify Bot merged commit 71ef8a5 into main Mar 21, 2022
@mergify mergify Bot deleted the brprice/fix-allTypes branch March 21, 2022 18:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Ready to merge Ready to merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants