egraphs-good / eggcc

MIT License
51 stars 11 forks source link

[Tree Optimizer] Add a function environment to the interpreter #261

Closed Alex-Fischman closed 8 months ago

Alex-Fischman commented 9 months ago

Right now the interpreter and typechecker panic/do a bad job when run on functions and function calls. We should fix this.

oflatt commented 9 months ago

I think that the interpreter should run on new thing called a Program which is a list of functions. The first function will be the "main" function That way I can translate Bril to a Program

oflatt commented 8 months ago

Fixed in new schema