search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Tree IR Pretty Printer #401

Open oflatt opened 8 months ago

oflatt commented 8 months ago

It should use the rust bindings in ast.rs. For example this:

(Let (Arg (Base (IntT)))
  (Add (Const (Int 3) (Base (IntT))) (Const (Int 3) (Base (IntT)))))

Should be printed as this:

tlet(arg(), add(int(3), int(3)))