Change (BodyContain Expr Expr) to (BodyContain Id Expr)

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Change (BodyContain Expr Expr) to (BodyContain Id Expr) #300

Closed clyben closed 7 months ago

clyben commented 7 months ago

This PR fix the issue #299 that c ≅ (Let id1 (arg1 = 1) arg1+arg1) ≅ (Let id2 (arg2 = 2) arg2) resulting in (BodyContains c (+ arg1 arg1)) and (BodyContains c arg2) I perfer to still call it BodyContains, which seems more intuitive.