[julia-users] Unions and TypeVar lower bounds

2015-12-30 Thread Fábio Cardeal
Given this: T = TypeVar(:T, Int, Any) I was wondering why while this happens: julia> Int <: Integer true julia> Integer <: T true This also happens: julia> Int <: Union{Int,Char} true julia> Union{Int,Char} <: T false Is this intended behaviour and I am just not under

Re: [julia-users] Unions and TypeVar lower bounds

2016-01-04 Thread Tim Holy
Hi Fábio, Probably relevant: https://github.com/JuliaLang/julia/pull/11805 --Tim On Wednesday, December 30, 2015 09:50:27 AM Fábio Cardeal wrote: > Given this: > > T = TypeVar(:T, Int, Any) > > > I was wondering why while this happens: > > julia> Int <: Integer > true > > julia> In

Re: [julia-users] Unions and TypeVar lower bounds

2016-01-04 Thread Fábio Cardeal
Thanks Tim, that seems to be it. I insisted on putting "lower bound" on my searches, so I didn't find that PR or the related issue. Thanks for working on this problem, best of luck! 2016-01-04 10:46 GMT-03:00 Tim Holy : > Hi Fábio, > > Probably relevant: > https://github.com/JuliaLang/julia/pull/