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.

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

Base.return_types regression with TypeVars #12826

Closed
mauro3 opened this issue Aug 27, 2015 · 0 comments
Closed

Base.return_types regression with TypeVars #12826

mauro3 opened this issue Aug 27, 2015 · 0 comments

Comments

@mauro3
Copy link
Contributor

mauro3 commented Aug 27, 2015

The last statement used to be true:

I = TypeVar(:I, Integer)
f{I<:Integer}(v::Vector{I}) = v[1]
Base.return_types(f,Tuple{Array{I,1}})==Any[Integer]

but since commit 3b41531 of @simonster it is false. It returns Any[Any] instead.
mauro3 added a commit to mauro3/Traits.jl that referenced this issue Aug 27, 2015
@mauro3
Update to latest Julia master
38e8781 
Fix of JuliaLang/julia#11840 incorporated.

Julia regression uncovered in tests:
JuliaLang/julia#12826
simonster added a commit that referenced this issue Aug 27, 2015
@simonster
Fix #12826
6768d1e
simonster added a commit that referenced this issue Aug 28, 2015
@simonster
Merge pull request #12828 from JuliaLang/sjk/12826
e427e92 
Fix #12826, regression in arrayref inference with TypeVars
mauro3 added a commit to mauro3/Traits.jl that referenced this issue Aug 28, 2015
@mauro3
Update after fix of #12826
341fac0 
JuliaLang/julia#12826 (comment)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@mauro3