From 6a9e627a239e6dba07f1009b7a6f1ecd228600e3 Mon Sep 17 00:00:00 2001 From: "Bowen S. Zhu" Date: Wed, 1 May 2024 16:26:20 -0400 Subject: [PATCH] p3 --- test/rulesets.jl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/test/rulesets.jl b/test/rulesets.jl index 11e4b38c5..c1ff3818c 100644 --- a/test/rulesets.jl +++ b/test/rulesets.jl @@ -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 @@ -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)