Skip to content

Commit

Permalink
Fix: Correct scope of a in where rule test
Browse files Browse the repository at this point in the history
  • Loading branch information
bowenszhu committed Aug 30, 2024
1 parent 2afe8b9 commit fc75095
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions test/rulesets.jl
Original file line number Diff line number Diff line change
Expand Up @@ -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))
Expand Down

0 comments on commit fc75095

Please sign in to comment.