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

Segfault in detect_unbound_args with VarArg in signature #25341

Closed
Keno opened this issue Dec 31, 2017 · 1 comment · Fixed by #25495
Closed

Segfault in detect_unbound_args with VarArg in signature #25341

Keno opened this issue Dec 31, 2017 · 1 comment · Fixed by #25495
Assignees
@JeffBezanson
Labels
domain:types and dispatch Types, subtyping and method dispatch kind:bug Indicates an unexpected problem or unintended behavior

Comments

@Keno
Copy link
Member

Keno commented Dec 31, 2017 

julia> using Test

julia> module FooAmbig
       _totuple(::Type{Tuple{Vararg{E}}}, itr, s...) where {E} = E
       end
Main.FooAmbig

julia> detect_unbound_args(FooAmbig; recursive=true)

signal (11): Segmentation fault: 11

Causing problems on #25261, but seems to be independent of it.
@Keno Keno added the kind:bug Indicates an unexpected problem or unintended behavior label Dec 31, 2017
@vtjnash
Copy link
Sponsor Member

vtjnash commented Jan 4, 2018

dup #24460

@JeffBezanson JeffBezanson added the domain:types and dispatch Types, subtyping and method dispatch label Jan 10, 2018
JeffBezanson added a commit that referenced this issue Jan 10, 2018
@JeffBezanson
support UnionAll types in invoke
543f240 
fixes #25341, fixes #24460, fixes #22554
@JeffBezanson JeffBezanson mentioned this issue Jan 10, 2018
Merged
ScottPJones pushed a commit to ScottPJones/julia that referenced this issue Jan 11, 2018
@JeffBezanson
support UnionAll types in invoke (JuliaLang#25495)
0960b48 
fixes JuliaLang#25341, fixes JuliaLang#24460, fixes JuliaLang#22554
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@JeffBezanson JeffBezanson

Labels
domain:types and dispatch Types, subtyping and method dispatch kind:bug Indicates an unexpected problem or unintended behavior
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

support UnionAll types in invoke JuliaLang/julia
3 participants
@vtjnash @JeffBezanson @Keno