Ah yes so next( 1, 1 ) = ( 1,true )
On Wednesday, September 16, 2015 at 1:41:05 PM UTC-4, Michael Francis wrote:
>
> That's inconsistent with the documentation :(
>
> help?> method_exists
> search: method_exists
>
> .. method_exists(f, Tuple type) -> Bool
>
> Determine whether the given generic function has a method matching the
> given :obj:`Tuple` of argument types.
>
> .. doctest::
>
> julia> method_exists(length, Tuple{Array})
> true
>
> julia>
>
>
> On Wednesday, September 16, 2015 at 1:22:36 PM UTC-4, Simon Danisch wrote:
>>
>> you're passing types to next, and it points out correctly: no method
>> matching next(::*Type*{Number}, ::*Type*{Any})
>> method_exist on the other hands takes types as its arguments so your
>> query should look like this:
>> *method_exists( next, Tuple{DataType, DataType } )* or *method_exists(
>> next, Tuple{ Type{Number}, Type{Any} } )*
>> which correctly returns false.
>>
>> Am Mittwoch, 16. September 2015 19:16:50 UTC+2 schrieb Michael Francis:
>>>
>>> I was executing the following on 0.4
>>>
>>> julia> next( Number, Any )
>>> ERROR: MethodError: `next` has no method matching next(::Type{Number},
>>> ::Type{Any})
>>> Closest candidates are:
>>> next(::SimpleVector, ::Any)
>>> next{T}(::StepRange{T,S}, ::Any)
>>> next{T}(::UnitRange{T}, ::Any)
>>> ...
>>>
>>> julia> method_exists( next, Tuple{ Number, Any } )
>>> true
>>>
>>> This seems incorrect?
>>>
>>
