search

Draco-lang / Compiler

The compiler repository for the Draco programming language.
Apache License 2.0
103 stars 8 forks source link

Skip creating a binder for inert syntax in GetDiagnostics #493

Open Kuinox opened 2 months ago

Kuinox commented 2 months ago

We can speed up GetDiagnostics by skipping creating a binder for inert syntax.