[julia-users] Function signature for array of parameterised types

[Samuel Powell]

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])
fun([t3_1; t3_1])
fun([t3_2; t3_2])