Fix type checking that a source port is assignable to a sink port #106

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

Merged

mr-c merged 1 commit into master from typecheck-assignable

Jun 29, 2016

Member

tetron commented Jun 28, 2016

Now properly accomodates unions. Alternate solution for #85


          Fix type checking that a source port is assignable to a sink port, no…

0b86748

…w properly accomodates unions. alternate solution for #85

tetron mentioned this pull request

are_same_type return true if intersection of src and sink not empty #85

Closed

mr-c merged commit 81ff56f into master

Member

mr-c commented Jun 29, 2016

Thanks!

mr-c deleted the typecheck-assignable branch

June 29, 2016 14:06

mr-c mentioned this pull request

clarify type checking rules common-workflow-language/common-workflow-language#205

Open

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

Labels

None yet