It still doesn't infer the type in 0.5:
*julia> **@code_warntype ntuple( x -> 0, 3)*
Variables:
#self#::Base.#ntuple
f::##5#6
n::Int64
Body:
begin
unless (Base.sle_int)(n::Int64,0)::Bool goto 3
return (Core.tuple)()::Tuple{}
3:
unless (n::Int64 === 1)::Bool goto 6
return (Core.tuple)($(QuoteNode(0)))::Tuple{Int64}
6:
unless (n::Int64 === 2)::Bool goto 9
return
(Core.tuple)($(QuoteNode(0)),$(QuoteNode(0)))::Tuple{Int64,Int64}
9:
unless (n::Int64 === 3)::Bool goto 12
return
(Core.tuple)($(QuoteNode(0)),$(QuoteNode(0)),$(QuoteNode(0)))::Tuple{Int64,Int64,Int64}
12:
unless (n::Int64 === 4)::Bool goto 15
return
(Core.tuple)($(QuoteNode(0)),$(QuoteNode(0)),$(QuoteNode(0)),$(QuoteNode(0)))::Tuple{Int64,Int64,Int64,Int64}
15:
unless (n::Int64 === 5)::Bool goto 18
return
(Core.tuple)($(QuoteNode(0)),$(QuoteNode(0)),$(QuoteNode(0)),$(QuoteNode(0)),$(QuoteNode(0)))::Tuple{Int64,Int64,Int64,Int64,Int64}
18:
unless (Base.slt_int)(n::Int64,16)::Bool goto 21
return (Core._apply)(Core.tuple,$(Expr(:invoke, LambdaInfo for
ntuple(::##5#6, ::Int64), :(Base.ntuple), :(f),
:((Base.box)(Int64,(Base.sub_int)(n,5))))),(Core.tuple)($(QuoteNode(0)),$(QuoteNode(0)),$(QuoteNode(0)),$(QuoteNode(0)),$(QuoteNode(0)))::Tuple{Int64,Int64,Int64,Int64,Int64})
*::Tuple{Vararg{Any,N}}*
21:
return $(Expr(:invoke, LambdaInfo for _ntuple(::Function, ::Int64),
:(Base._ntuple), :(f), :(n)))
end*::Tuple*
On Monday, August 1, 2016 at 10:34:30 AM UTC+10, David P. Sanders wrote:
>
>
>
> El domingo, 31 de julio de 2016, 20:16:04 (UTC-4), Sheehan Olver escribió:
>>
>> I'm doing the following:
>>
>>
>> immutable FooIterator{d} end
>>
>> Base.start(::FooIterator{d}) = tuple(zeros(Int,d)...)::NTuple{d,Int}
>>
>
>
> You can use the `ntuple` function, which constructs a tuple from a
> function:
>
> julia> ntuple( x -> 0, 3)
> (0,0,0)
>
> julia> typeof(ans)
> Tuple{Int64,Int64,Int64}
>
>
>>
>>
>> But is there a more elegant way of getting the type inferred? I suppose
>> I can override low order d directly:
>>
>> Base.start(::FooIterator{2}) = (0,0)
>> Base.start(::FooIterator{3}) = (0,0,0)
>>
>
