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

Make `merge` type annotation optional #66

Merged
merged 1 commit into from Jun 16, 2017

Conversation

Projects
None yet
1 participant
@Gabriel439
Collaborator

Gabriel439 commented Jun 15, 2017

You can now omit the type annotation on merges so long as the union
being merged has at least one alternative

Make `merge` type annotation optional
You can now omit the type annotation on `merge`s so long as the union
being merged has at least one alternative

@Gabriel439 Gabriel439 merged commit a6ee2d5 into master Jun 16, 2017

2 checks passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details
continuous-integration/travis-ci/push The Travis CI build passed
Details

@Gabriel439 Gabriel439 deleted the gabriel/merge_no_annot branch Jun 16, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment