A while ago I saw a pull request that changed printing so that Array{<:Real,1}
would print as Array{<:Real,1}
, instead of like this:
julia> Array{<:Real,1}
Array{var"#s17",1} where var"#s17"<:Real
But I can’t find that PR now. Can anyone point me to it?