On Wed, 2016-10-12 at 21:23, Mauro <mauro...@runbox.com> wrote:
> On Wed, 2016-10-12 at 20:49, Yichao Yu <yyc1...@gmail.com> wrote:
>> On Wed, Oct 12, 2016 at 2:41 PM, Mauro <mauro...@runbox.com> wrote:
>>> However, somewhat similar, this does not error:
>>>
>>> julia> g(x) = 1
>>> g (generic function with 1 method)
>>>
>>> julia> g{X}(x::X) = 2
>>> g (generic function with 2 methods)
>>>
>>> julia> g(4)
>>> 2
>>>
>>> So here the parameterized method does seem more specific.
>>>
>>
>> This is missing method overwite. i.e. a bug.
>
> You mean the method-overwritten warning? But it generates two methods,
> so maybe it should go to the ambiguity error?
>
> Also similar for two arguments:
>
> julia> h(x,y) = 1
> h (generic function with 1 method)
>
> julia> h{X}(x::X,y) = 2
> h (generic function with 2 methods)
>
> julia> h{X,Y}(x::X,y::Y) = 3
> h (generic function with 3 methods)
>
> julia> h{Y}(x,y::Y) = 4
> h (generic function with 4 methods)
>
> julia> h(4,5)
> 2
>
> I'll open an issue.
https://github.com/JuliaLang/julia/issues/18892
