Yes, when declaring function arguments, which I believe fall under case 2.
in this
list<http://docs.julialang.org/en/latest/manual/types/#type-declarations>.
Is it possible for a usage of `::` that falls under category 1?
// T
On Tuesday, April 29, 2014 9:07:08 PM UTC+2, Tim Holy wrote:
>
> On Tuesday, April 29, 2014 11:43:03 AM Tomas Lycken wrote:
> > Say I have a variable x, and I want to make sure that it's an array
> > of real numbers that are all of the same type, but I don't care which
> one.
> > Can I say x::Array{T<:Real} as a type assertion?
>
> function f{T<:Real}(x::Array{T})
> ...
> end
>
> does this.
>
> --Tim
>
