search

FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.7k stars 234 forks source link

Small perf improvements, also fixing order dependency of qualifiers #3571

Closed mtzguido closed 1 month ago

mtzguido commented 1 month ago

cc @nikswamy. This does not help much at all (caching only the module resolution doesn't either, so I dropped it). The real problem is name resolution being quadratic. But the HashMap can be useful already.

mtzguido commented 1 month ago

This changes the order of qualifiers and we hit #3232

mtzguido commented 1 month ago

https://github.com/mtzguido/FStar/actions/runs/11355918555