I have a trouble following the reasoning in the 4345 issues trail.
If a module defines a method (let us say "count") and brings in into an
environment that already has a method for the function count(), both are
available provided there signatures allow for the compiler to distinguish
between them to decide which one to call.
I already have a situation like this in my code: I have two modules that
define the function count(), and they export that function count() and
in the main there are already two methods count()..
julia> methods(count)
# 4 methods for generic function "count":
count(pred::Union(Function,Func{1}),a::AbstractArray{T,N}) at reduce.jl:436
count(pred::Union(Function,Func{1}),itr) at reduce.jl:426
count{T<:FESet}(me::T<:FESet) at
C:\Users\pkrysl\Documents\GitHub\JFinEALE.jl\src\FESetModule.jl:32
count(self::FENodeSet) at
C:\Users\pkrysl\Documents\GitHub\JFinEALE.jl\src\FENodeSetModule.jl:47
The two methods that failed to get both exported are (it appears) in
precisely the same situation, except that the main module does not have
any definition of a method with the same name:
julia> methods(JFinEALE.HeatDiffusionAlgorithmModule.steadystate)
# 1 method for generic function "steadystate":
steadystate(algo::HeatDiffusionAlgorithm,modeldata::Dict{ASCIIString,Any})
at C:\Users\pkrysl\Documents\GitHub
\JFinEALE.jl\src\HeatDiffusionAlgorithmModule.jl:83
julia> methods(JFinEALE.AcousticsAlgorithmModule.steadystate)
# 1 method for generic function "steadystate":
steadystate(algo::AcousticsAlgorithm,modeldata::Dict{ASCIIString,Any}) at
C:\Users\pkrysl\Documents\GitHub\JFi
nEALE.jl\src\AcousticsAlgorithmModule.jl:85
As you can see, the compiler should be able to decide which of these
methods to call as they get passed arguments of different types..
So,, this succeeds:
include("FESetModule.jl")
using JFinEALE.FESetModule
...
export count
....
include("FENodeSetModule.jl")
using JFinEALE.FENodeSetModule
...
export count
and this fails
include("AcousticsAlgorithmModule.jl")
using JFinEALE.AcousticsAlgorithmModule
export AcousticsAlgorithm
export steadystate
include("HeatDiffusionAlgorithmModule.jl")
using JFinEALE.HeatDiffusionAlgorithmModule
export HeatDiffusionAlgorithm
export steadystate
I find this strange and inconsistent. Could someone please explain
whether this is something I should fix up at my end or that this is a
problem with the logic of the programming language..
Petr
On Monday, January 12, 2015 at 11:24:07 PM UTC-8, Ivar Nesje wrote:
>
> New method definitions will replace the previous definition.
>
> If you put the function in a module and bring them into you scope with
> using/importall, you'll run into
> https://github.com/JuliaLang/julia/issues/4345, which can be considered
> either a bug or a missing feature.
