From fc7509587c25503d59b2b82a4d2adb992be7d8f2 Mon Sep 17 00:00:00 2001 From: "Bowen S. Zhu" Date: Thu, 29 Aug 2024 21:04:36 -0700 Subject: [PATCH] Fix: Correct scope of `a` in `where` rule test --- test/rulesets.jl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/test/rulesets.jl b/test/rulesets.jl index 4730cc102..ddebedf28 100644 --- a/test/rulesets.jl +++ b/test/rulesets.jl @@ -185,11 +185,10 @@ _g(y) = sin @test @rule($(_g(1))(a) => 2)(sin(a)) == 2 end -@syms a -_f(x) = x === a @testset "where" begin @syms a b + _f(x) = x === a r = @rule ~x => ~x where {_f(~x)} @eqtest r(a) == a @test isnothing(r(b))