JuliaAlgebra / DynamicPolynomials.jl

Multivariate polynomials implementation of commutative and non-commutative variables
Other
59 stars 21 forks source link

Type inference failure on 0.7 #9

Closed saschatimme closed 6 years ago

saschatimme commented 6 years ago

Currently the following cannot be inferred

@ncpolyvar ncpolyvar u
@inferred polynomial(2.0u, Int)

My guess is that due to the fact that "Constructors fallback to convert functions" is deprecated, this indirection trips up type inference.

saschatimme commented 6 years ago

Since tests on 0.7 pass I assume this is resolved.