ch-systems / petr

the petr programming language -- Programmable Effects TRacking
https://playground.petr.sh
5 stars 0 forks source link

Criterion benchmarking of various components of the compiler #32

Open sezna opened 3 months ago

sezna commented 3 months ago

It'd be great to have benchmarks for all the crates -- parsing, binding, resolving, type checking, IR, the VM, and code generation. I like Criterion, but am open to other options.

sezna commented 3 months ago

Related: #36