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

Subtyping bug for complicated type alias #13165

Closed
andreasnoack opened this issue Sep 16, 2015 · 1 comment
Closed

Subtyping bug for complicated type alias #13165

andreasnoack opened this issue Sep 16, 2015 · 1 comment
Labels
types and dispatch Types, subtyping and method dispatch

Comments

@andreasnoack
Copy link
Member

We use a slightly complicated type alias in the linear algebra code and it appears the <: is getting the ralation wrong for complex matrices.

julia> LinAlg.RealHermSymComplexHerm
Union{Hermitian{Complex{T<:Real},S},Hermitian{T<:Real,S},Symmetric{T<:Real,S}}

julia> Symmetric{Float64,Matrix{Float64}} <: LinAlg.RealHermSymComplexHerm
true

julia> Hermitian{Float64,Matrix{Float64}} <: LinAlg.RealHermSymComplexHerm
true

julia> Hermitian{Complex{Float64},Matrix{Complex{Float64}}} <: LinAlg.RealHermSymComplexHerm
false
@tkelman tkelman added the types and dispatch Types, subtyping and method dispatch label Sep 16, 2015
@JeffBezanson
Copy link
Member

closed by #18457

@vtjnash vtjnash mentioned this issue Jan 16, 2017
53 tasks
mauro3 added a commit to mauro3/julia that referenced this issue Jan 17, 2017
mauro3 added a commit to mauro3/julia that referenced this issue Jan 17, 2017
mauro3 added a commit to mauro3/julia that referenced this issue Jan 17, 2017
mauro3 added a commit to mauro3/julia that referenced this issue Jan 17, 2017
mauro3 added a commit to mauro3/julia that referenced this issue Jan 18, 2017
Added tests for issues JuliaLang#12580, JuliaLang#18348, JuliaLang#13165, JuliaLang#11803, JuliaLang#12721

Enabled extra tests for JuliaLang#11840, however, that isssue is not resolved
yet but needs tests triggering it.
mauro3 added a commit to mauro3/julia that referenced this issue Jan 20, 2017
Added tests for issues JuliaLang#12580, JuliaLang#18348, JuliaLang#13165, JuliaLang#12721

For JuliaLang#11803 it was decidided that no tests are needed.

Enabled extra tests for JuliaLang#11840, however, that isssue is not resolved
yet but needs new tests triggering it.
mauro3 added a commit to mauro3/julia that referenced this issue Jan 20, 2017
Added tests for issues JuliaLang#12580, JuliaLang#18348, JuliaLang#13165, JuliaLang#12721

For JuliaLang#11803 it was decidided that no tests are needed.

Enabled extra tests for JuliaLang#11840, however, that isssue is not resolved
yet but needs new tests triggering it.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
types and dispatch Types, subtyping and method dispatch
Projects
None yet
Development

No branches or pull requests

3 participants