Repository navigation

Speed up freshening type variables - #14323

Merged

JukkaL merged 8 commits into

faster-typevars

Dec 20, 2022

Merged

Speed up freshening type variables#14323
JukkaL merged 8 commits into
masterfrom
faster-typevars

Commits on Dec 19, 2022
- WIP initial freshen type var optimization attempt
  JukkaL
  committed
  ace3c2e
- Various improvements
  JukkaL
  committed
  8a4aaac
- Refactor
  JukkaL
  committed
  fa04432
- More refactoring
  JukkaL
  committed
  30495ed
- Tweaks
  JukkaL
  committed
  9317bcf
- Cleanup
  JukkaL
  committed
  4d9eca2
- Minor tweak
  JukkaL
  committed
  2e976c8
Commits on Dec 20, 2022
- Minor optimization
  JukkaL
  committed
  0b714d0