search

egraphs-good / egglog

egraphs + datalog!
https://egraphs-good.github.io/egglog/
MIT License
458 stars 54 forks source link

Static parser #435

Closed Alex-Fischman closed 1 month ago

Alex-Fischman commented 1 month ago

This PR moves the ProgramParser struct out of Desugar and into a lazy_static block. This has a couple of benefits.

  1. Separation of concerns
  2. We won't clone the parser (which is apparently slow) when we push