Use type-level version of InType(::TypedTransducer)

JuliaFolds · Jan 18, 2019 · 867bbc7 · 867bbc7
1 parent 5ae826a
commit 867bbc7
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/core.jl b/src/core.jl
@@ -85,7 +85,7 @@ TypedTransducer{intype}(xform::X) where {intype, X} =
 
 Setfield.constructor_of(::Type{T}) where {T <: TypedTransducer} = T
 
-InType(::TypedTransducer{intype}) where intype = intype
+InType(::Type{<:TypedTransducer{intype}}) where intype = intype
 
 # In clojure a reduction function is one of signature
 # whatever, input -> whatever
@@ -101,8 +101,8 @@ struct Reduction{intype, T, F}
     bottom::F
 end
 
-Reduction(xforms, bottom) =
-    Reduction{InType(xforms[1]), typeof(xforms), typeof(bottom)}(xforms, bottom)
+@inline Reduction(xforms::T, bottom::F) where {X, T <: Tuple{X,Vararg}, F} =
+    Reduction{InType(X), T, F}(xforms, bottom)
 
 InType(::T) where T = InType(T)
 InType(::Type{<:Reduction{intype}}) where {intype} = intype