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.

Sign up for GitHub

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

Jump to bottom

Type checking fails when the type of a pattern is not given by the signature #1378

Merged
merged 6 commits into from
Jul 15, 2022
Merged

Type checking fails when the type of a pattern is not given by the signature #1378

merged 6 commits into from
Jul 15, 2022

Conversation

janmasrovira
Copy link
Collaborator

Fixes #1335

@janmasrovira janmasrovira added this to the 0.2.2 milestone Jul 15, 2022
@janmasrovira janmasrovira self-assigned this Jul 15, 2022
@janmasrovira janmasrovira changed the title 1335 type checking fails when the type of a pattern is not given by the signature Type checking fails when the type of a pattern is not given by the signature Jul 15, 2022
@janmasrovira janmasrovira force-pushed the 1335-type-checking-fails-when-the-type-of-a-pattern-is-not-given-by-the-signature branch from bd36393 to e708275 Compare July 15, 2022 08:30
@janmasrovira janmasrovira mentioned this pull request Jul 15, 2022
Merged
@lukaszcz lukaszcz self-requested a review July 15, 2022 15:23
@jonaprieto jonaprieto force-pushed the 1335-type-checking-fails-when-the-type-of-a-pattern-is-not-given-by-the-signature branch from e708275 to afbaef4 Compare July 15, 2022 15:41
@jonaprieto jonaprieto merged commit 3205996 into main Jul 15, 2022
@jonaprieto jonaprieto deleted the 1335-type-checking-fails-when-the-type-of-a-pattern-is-not-given-by-the-signature branch July 15, 2022 15:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jonaprieto jonaprieto jonaprieto approved these changes

@lukaszcz lukaszcz Awaiting requested review from lukaszcz

Assignees

@janmasrovira janmasrovira

Labels
typechecking
Projects
None yet
Milestone
0.2.2
Development

Successfully merging this pull request may close these issues.

Type checking fails when the type of a pattern is not given by the signature
2 participants
@janmasrovira @jonaprieto