-
Notifications
You must be signed in to change notification settings - Fork 27
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
New ambiguity in Julia 1.3 #187
Comments
18 tasks
Here is another one for v1.3-rc2: julia> using Polyhedra
julia> P = vrep([[0.0, 0.0]], d=2);
julia> Q = polyhedron(P);
julia> intersect(Q, Q)
ERROR: MethodError: intersect(::DefaultPolyhedron{Float64,Polyhedra.Intersection{Float64,Array{Float64,1},Int64},Polyhedra.Hull{Float64,Array{Float64,1},Int64}}, ::DefaultPolyhedron{Float64,Polyhedra.Intersection{Float64,Array{Float64,1},Int64},Polyhedra.Hull{Float64,Array{Float64,1},Int64}}) is ambiguous. Candidates:
intersect(p::Union{HRepresentation{T}, Polyhedron{T}} where T...) in Polyhedra at /Polyhedra/opCEk/src/repop.jl:19
intersect(p1::Union{HRepresentation{T}, Polyhedron{T}, HRepElement{T,AT} where AT}, p2::Union{HRepresentation{T}, Polyhedron{T}, HRepElement{T,AT} where AT}, ps::Union{HRepresentation{T}, Polyhedron{T}, HRepElement{T,AT} where AT}...) where T in Polyhedra at /Polyhedra/opCEk/src/repop.jl:29
Possible fix, define
intersect(::Vararg{Union{HRepresentation{T}, Polyhedron{T}} where T,N} where N) |
@KristofferC Isn't it weird that the first and third method in #187 (comment) are exactly the same ? |
Yes, see JuliaLang/julia#33166. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
While running the package tests for the upcoming 1.3, a new ambiguity in "HybridSystems.jl" was detected but it seems to originate from this package:
We believe this is a real ambiguity that got detected due to improvements in the Julia type system and thus needs to be fixed in this package.
The text was updated successfully, but these errors were encountered: