mark as broken

Author: nmheim

test/reverse.jl

@@ -1,6 +1,6 @@
 module reverse_tests
 using Diffractor
-using Diffractor: var"'", ∂⃖, DiffractorRuleConfig
+using Diffractor: ∂⃖, DiffractorRuleConfig
 using ChainRules
 using ChainRulesCore
 using ChainRulesCore: ZeroTangent, NoTangent, frule_via_ad, rrule_via_ad
@@ -44,14 +44,6 @@ function simple_control_flow(b, x)
     end
 end
 
-function myprod(xs)
-    s = 1
-    for x in xs
-      s *= x
-    end
-    return s
-end
-
 function mypow(x, n)
     r = one(x)
     while n > 0
@@ -79,10 +71,11 @@ let var"'" = Diffractor.PrimeDerivativeBack
     @test @inferred(sin'(1.0)) == cos(1.0)
     @test @inferred(sin''(1.0)) == -sin(1.0)
     @test @inferred(sin'''(1.0)) == -cos(1.0)
-    # TODO These currently cause segfaults c.f. https://github.com/JuliaLang/julia/pull/48742
-    # @test sin''''(1.0) == sin(1.0)
-    # @test sin'''''(1.0) == cos(1.0)
-    # @test sin''''''(1.0) == -sin(1.0)
+    # FIXME: These error with:
+    #   Control flow support not fully implemented yet for higher-order reverse mode (TODO)
+    @test_broken @inferred(sin''''(1.0)) == sin(1.0)
+    @test_broken @inferred(sin'''''(1.0)) == cos(1.0)
+    @test_broken @inferred(sin''''''(1.0)) == -sin(1.0)
 
     f_getfield(x) = getfield((x,), 1)
     @test f_getfield'(1) == 1
@@ -93,10 +86,10 @@ let var"'" = Diffractor.PrimeDerivativeBack
 
     complicated_2sin(x) = (x = map(sin, Diffractor.xfill(x, 2)); x[1] + x[2])
     @test @inferred(complicated_2sin'(1.0)) == 2sin'(1.0)
-    @test @inferred(complicated_2sin''(1.0)) == 2sin''(1.0)  broken=true
-    @test @inferred(complicated_2sin'''(1.0)) == 2sin'''(1.0)  broken=true
-    # TODO This currently causes a segfault, c.f. https://github.com/JuliaLang/julia/pull/48742
-    # @test @inferred(complicated_2sin''''(1.0)) == 2sin''''(1.0)  broken=true
+    # FIXME: These error with:  Control flow support not fully implemented yet for higher-order reverse mode (TODO)
+    @test_broken @inferred(complicated_2sin''(1.0)) == 2sin''(1.0)
+    @test_broken @inferred(complicated_2sin'''(1.0)) == 2sin'''(1.0)
+    @test_broken @inferred(complicated_2sin''''(1.0)) == 2sin''''(1.0)
 
     # Control flow cases
     @test @inferred((x->simple_control_flow(true, x))'(1.0)) == sin'(1.0)