Pure tail

JuliaFolds · Jan 18, 2019 · 0c1e50e · 0c1e50e
1 parent 867bbc7
commit 0c1e50e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 7 deletions.
diff --git a/src/basics.jl b/src/basics.jl
@@ -1,5 +1,8 @@
 # --- Utilities
 
+@inline Base.@pure argtail(x, rest...) = rest
+@inline Base.@pure tail(x::Tuple) = argtail(x...)
+
 valueof(::Val{x}) where x = x
 
 ieltype(T) =

diff --git a/src/core.jl b/src/core.jl
@@ -110,13 +110,9 @@ InType(T::Type) = throw(MethodError(InType, (T,)))
 
 Setfield.constructor_of(::Type{T}) where {T <: Reduction} = T
 
-inner(rf::Reduction) =
-    if length(rf.xforms) > 1
-        Reduction(Base.tail(rf.xforms), rf.bottom)
-    else
-        rf.bottom
-    end
-
+# inner(rf::Reduction{<:Any, Tuple{}}) = error()
+@inline inner(rf::Reduction{<:Any, <:Tuple{Any}}) = rf.bottom
+@inline inner(rf::Reduction) = Reduction(tail(rf.xforms), rf.bottom)
 xform(rf::Reduction) = rf.xforms[1].xform
 
 Transducer(rf::Reduction) =