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.

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

Add a test throws an error by invalid subtyping in definition (#19414) #20548

Merged
merged 2 commits into from
Apr 26, 2017
Merged

Add a test throws an error by invalid subtyping in definition (#19414) #20548

merged 2 commits into from
Apr 26, 2017

Conversation

wookay
Copy link
Contributor

@wookay wookay commented Feb 9, 2017

Hello, here's about the test for the invalid subtyping in definition.

#19414
#20523

thanks.

@vtjnash vtjnash mentioned this pull request Feb 9, 2017
53 tasks
@kshyatt kshyatt added test This change adds or pertains to unit tests types and dispatch Types, subtyping and method dispatch labels Feb 10, 2017
@kshyatt kshyatt requested a review from JeffBezanson February 10, 2017 01:35
@tkelman
Copy link
Contributor

tkelman commented Apr 4, 2017

what happened to the commits that were testing for #20523?

@JeffBezanson
Copy link
Member

I don't know, but the code in #20523 is now rejected with an error, so it's not clear what to test (other than that error itself).

@tkelman
Copy link
Contributor

tkelman commented Apr 4, 2017

The error's worth testing (and that's what wookay@6450075 / wookay@ad2a222 did), if that's the correct behavior that we want to keep.

@JeffBezanson
Copy link
Member

Aren't those tests identical to the one here?

@wookay
Copy link
Contributor Author

wookay commented Apr 5, 2017

hi. I have updated the test with getting added the error message.

@tkelman tkelman merged commit c326b1c into JuliaLang:master Apr 26, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
test This change adds or pertains to unit tests types and dispatch Types, subtyping and method dispatch
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants