Skip to content

Commit

Permalink
pp
Browse files Browse the repository at this point in the history
  • Loading branch information
bowenszhu committed May 1, 2024
1 parent e8d2965 commit 438f16a
Showing 1 changed file with 11 additions and 7 deletions.
18 changes: 11 additions & 7 deletions test/rulesets.jl
Original file line number Diff line number Diff line change
Expand Up @@ -201,13 +201,17 @@ _f(x) = x === a
@testset "where2" begin
@syms a b
r = @rule ~x => ~x where {_f(~x)}
@eqtest r(a) == a
println("_f(a)", _f(a))
res = r(a)
println("r(a)", r(a))

@eqtest res == a
# @test isnothing(r(b))
end

@testset "where3" begin
@syms a b
r = @acrule ~x => ~x where {_f(~x)}
@eqtest r(a) == a
@test r(b) === nothing
end
# @testset "where3" begin
# @syms a b
# r = @acrule ~x => ~x where {_f(~x)}
# @eqtest r(a) == a
# @test r(b) === nothing
# end

0 comments on commit 438f16a

Please sign in to comment.