Let's say I have a type parameterized with two other types and I do the 
following:

type A{T,P}
    a::T
end

typealias B{T} A{T, 1}

B(1.0) # Error

B{Float64}(1.0) # Works

Is there anyway you could write the code so that the T type is inferred 
from the argument to the call to B. 

Best regards,
Kristoffer Carlsson

Reply via email to