Merge pull request #106 from aplavin/master

fix constructorof(Base.Fix1/2) on 1.12+

Author: jw3126

Project.toml

@@ -1,7 +1,7 @@
 name = "ConstructionBase"
 uuid = "187b0558-2788-49d3-abe0-74a17ed4e7c9"
 authors = ["Takafumi Arakaki", "Rafael Schouten", "Jan Weidner"]
-version = "1.6.0"
+version = "1.6.1"
 
 [weakdeps]
 IntervalSets = "8197267c-284f-5f27-9208-e0e47529a953"

src/nonstandard.jl

@@ -38,3 +38,8 @@ constructorof(::Type{<:LinRange}) = linrange_constructor
 ### Expr: args get splatted
 # ::Expr annotation is to make it type-stable on Julia 1.3-, probably not necessary anymore
 constructorof(::Type{<:Expr}) = (head, args) -> Expr(head, args...)::Expr
+
+### Base.Fix: the N type parameter cannot be inferred from fields
+if isdefined(Base, :Fix)
+    constructorof(::Type{<:Base.Fix{N}}) where {N} = Base.Fix{N}
+end

test/runtests.jl

@@ -244,6 +244,14 @@ end
         e = :(a + b)
         @test e == @inferred constructorof(typeof(e))(getfields(e)...)
     end
+
+    @testset "Fix" begin
+        for T in [Base.Fix1, Base.Fix2]
+            f = T(+, 1)
+            @test setproperties(f, x=10) === T(+, 10)
+            @test setproperties(f, f=-) === T(-, 1)
+        end
+    end
 end
 
 @testset "default function constructors" begin