Skip to content

Conversation

@timholy
Copy link
Member

@timholy timholy commented Nov 18, 2019

See #33866. This pretty much does everything I need it to currently. It does not tackle the code comment, though it does essentially work around it via subtyping.

@timholy timholy mentioned this pull request Nov 19, 2019
abstract type Super end
struct Sub <: Super end
abstract type SuperP{A<:AbstractArray} end
abstract type SubP{A<:AbstractVector} <: SuperP{A} end
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sadly, had I written SubP{A} <: SuperP{A} then the test would have failed. Presumably this is just #6383, but if there is a nice workaround I'd be happy to incorporate it. I am sure there's a lot of code out there that doesn't re-impose the same parameter bounds.

@timholy
Copy link
Member Author

timholy commented Dec 17, 2019

Do we want this for Julia 1.4? There seem to be a number of supportive reactions but it would be nice if this got some code review and a merge decision.

@StefanKarpinski
Copy link
Member

I'm fine with it. @JeffBezanson? Given that this is an interactive tool, I'm not overly concerned.

@timholy
Copy link
Member Author

timholy commented Oct 1, 2020

I can achieve everything I need with MethodAnalysis, so let's close this.

@timholy timholy closed this Oct 1, 2020
@timholy timholy deleted the teh/methodswith branch October 1, 2020 20:47
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.

3 participants