Hi,

Consider the following:

abstract TypeA

type Type1 <: TypeA
end

type Type2 <: TypeA
end

type Type3{T<:TypeA}
prof::T
end

function fun(arr::Array{Type3, 1})
end

t1 = Type1()
t2 = Type2()

t3_1 = Type3(t1)
t3_2 = Type3(t2)

fun([t3_1; t3_2]) # This is fine
fun([t3_1; t3_1]) # This fails with a no method error
fun([t3_2; t3_2]) # This fails with a no method error


What function signature will allow all three calls to dispatch without 
error?

Regards,

Sam.



Reply via email to