Skip to content

Commit

Permalink
p3
Browse files Browse the repository at this point in the history
  • Loading branch information
bowenszhu committed May 1, 2024
1 parent 438f16a commit 6a9e627
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions test/rulesets.jl
Original file line number Diff line number Diff line change
Expand Up @@ -186,6 +186,7 @@ using SymbolicUtils: getdepth, Rewriters, Term
# end

@syms a
println("outer objectid(a)", objectid(a))
_f(x) = x === a
# @testset "where1" begin
# @syms a b
Expand All @@ -200,6 +201,7 @@ _f(x) = x === a

@testset "where2" begin
@syms a b
println("inner objectid(a)", objectid(a))
r = @rule ~x => ~x where {_f(~x)}
println("_f(a)", _f(a))
res = r(a)
Expand Down

0 comments on commit 6a9e627

Please sign in to comment.