Merge pull request #310 from gxyd/bitArray_non_diff

non-differentiability of ops on AbstractArray{Bool}
JuliaDiff · Dec 3, 2020 · f212f0a · f212f0a
2 parents f550f8d + 42ae3f2
commit f212f0a
Show file tree

Hide file tree

Showing 2 changed files with 65 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,6 @@
 name = "ChainRules"
 uuid = "082447d4-558c-5d27-93f4-14fc19e9eca2"
-version = "0.7.33"
+version = "0.7.34"
 
 [deps]
 ChainRulesCore = "d360d2e6-b24c-11e9-a2a3-2a2ae2dbcce4"
@@ -13,7 +13,7 @@ Requires = "ae029012-a4dd-5104-9daa-d747884805df"
 Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"
 
 [compat]
-ChainRulesCore = "0.9.16"
+ChainRulesCore = "0.9.21"
 ChainRulesTestUtils = "0.5"
 Compat = "3"
 FiniteDifferences = "0.11"

diff --git a/src/rulesets/Base/nondiff.jl b/src/rulesets/Base/nondiff.jl
@@ -22,6 +22,69 @@
 @non_differentiable ==(::Any, ::Any)
 @non_differentiable ===(::Any, ::Any)
 
+
+@non_differentiable Bool(::Any)
+
+@non_differentiable accumulate(::Any, ::AbstractArray{Bool})
+@non_differentiable accumulate!(::Any, ::Any, ::AbstractArray{Bool})
+@non_differentiable cat(::AbstractArray{Bool}...)
+@non_differentiable circcopy!(::Any, ::AbstractArray{Bool})
+@non_differentiable circshift(::AbstractArray{Bool}, ::Any)
+@non_differentiable circshift!(::Any, ::AbstractArray{Bool}, ::Any)
+@non_differentiable circshift!(::AbstractArray{Bool}, ::Any)
+@non_differentiable conj(::AbstractArray{Bool})
+@non_differentiable conj!(::AbstractArray{Bool})
+@non_differentiable cumprod(::AbstractArray{Bool})
+@non_differentiable cumprod!(::Any, ::AbstractArray{Bool})
+@non_differentiable cumsum(::AbstractArray{Bool})
+@non_differentiable cumsum!(::Any, ::AbstractArray{Bool})
+@non_differentiable diff(::AbstractArray{Bool})
+@non_differentiable dropdims(::AbstractArray{Bool})
+@non_differentiable eachcol(::AbstractArray{Bool})
+@non_differentiable eachrow(::AbstractArray{Bool})
+@non_differentiable eachslice(::AbstractArray{Bool})
+@non_differentiable fill(::AbstractArray{Bool})
+@non_differentiable fill!(::AbstractArray, ::Any)
+@non_differentiable findprev(::AbstractArray{Bool}, ::Any)
+@non_differentiable findprev(::Any, ::AbstractArray{Bool}, ::Any)
+@non_differentiable getindex(::AbstractArray{Bool}, ::Any...)
+@non_differentiable hcat(::AbstractArray{Bool}...)
+@non_differentiable hvcat(::Any, ::AbstractArray{Bool}...)
+@non_differentiable isperm(::AbstractArray{Bool})
+@non_differentiable invperm(::AbstractArray{Bool})
+@non_differentiable invpermute!(::Any, ::AbstractArray{Bool})
+@non_differentiable mapslices(::Any, ::AbstractArray{Bool})
+@non_differentiable Matrix(::AbstractArray{Bool})
+@non_differentiable ndims(::AbstractArray{Bool})
+@non_differentiable parent(::AbstractArray{Bool})
+@non_differentiable parentindices(::AbstractArray{Bool})
+@non_differentiable permute!(::AbstractArray{Bool}, ::Any)
+@non_differentiable permutedims(::AbstractArray{Bool})
+@non_differentiable permutedims(::AbstractArray{Bool}, ::Any)
+@non_differentiable promote_shape(::AbstractArray{Bool}, ::Any)
+@non_differentiable repeat(::AbstractArray{Bool}, ::Any...)
+@non_differentiable reshape(::AbstractArray{Bool}, ::Any...)
+@non_differentiable reverse(::AbstractArray{Bool}, ::Any...)
+@non_differentiable reverse!(::AbstractArray{Bool}, ::Any...)
+@non_differentiable reverseind(::AbstractArray{Bool}, ::Any)
+@non_differentiable rot180(::AbstractArray{Bool})
+@non_differentiable rot180(::AbstractArray{Bool}, ::Any)
+@non_differentiable rotl90(::AbstractArray{Bool})
+@non_differentiable rotl90(::AbstractArray{Bool}, ::Any)
+@non_differentiable rotr90(::AbstractArray{Bool})
+@non_differentiable rotr90(::AbstractArray{Bool}, ::Any)
+@non_differentiable selectdim(::AbstractArray{Bool}, ::Any, ::Any)
+@non_differentiable setindex!(::AbstractArray{Bool}, ::Any, ::Any)
+@non_differentiable similar(::AbstractArray{Bool}, ::Any...)
+@non_differentiable stride(::AbstractArray{Bool}, ::Any)
+@non_differentiable strides(::AbstractArray{Bool})
+@non_differentiable vcat(::AbstractArray{Bool}...)
+@non_differentiable vec(::AbstractArray{Bool})
+@non_differentiable Vector(::AbstractArray{Bool})
+
+@non_differentiable Array(::AbstractArray{Bool})
+@non_differentiable IndexStyle(::AbstractArray{Bool})
+
 @non_differentiable abspath(::AbstractString)
 @non_differentiable abspath(::AbstractString, ::AbstractString)
 @non_differentiable all(::Any)