Skip to content

Fix logic for inferring type of a constructor#1208

Merged
Gabriella439 merged 2 commits intomasterfrom
gabriel/constructor_shift
Aug 30, 2021
Merged

Fix logic for inferring type of a constructor#1208
Gabriella439 merged 2 commits intomasterfrom
gabriel/constructor_shift

Conversation

@Gabriella439
Copy link
Copy Markdown
Contributor

Fixes #1207

@MonoidMusician
Copy link
Copy Markdown
Collaborator

Looks good to me, thank you!

@Gabriella439 Gabriella439 merged commit d44994c into master Aug 30, 2021
@Gabriella439 Gabriella439 deleted the gabriel/constructor_shift branch August 30, 2021 02:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Shifting variables in union constructor judgment

2 participants