Class checking performance fixes - #240

Open

bladyjoker wants to merge 12 commits into

mainfrom

bladyjoker/class-performance

Commits on Jul 30, 2024

Tries to fix the class check perf issues but somehow made it way worse
bladyjoker
committed
e5aa1cf
Further condition tracing on the doTracing in class machinery
bladyjoker
committed
405356c
Merge remote-tracking branch 'origin/bladyjoker/rust-phantoms' into bladyjoker/class-performance
bladyjoker
committed
80165d7
Trying a fix
bladyjoker
committed
03cc9b8
Trying out different tyclass checking workflow (all goals at once)
bladyjoker
committed
662cfb5
Fixes compilation warnings
bladyjoker
committed
2cc249d
Disables tyclass checking
bladyjoker
committed
0f1d7f0

Commits on Jul 31, 2024

Merge branch 'main' of github.com:mlabs-haskell/lambda-buffers into bladyjoker/class-performance
szg251
committed
b3b48b9

Commits on Aug 1, 2024

Commits on Aug 2, 2024

Merge remote-tracking branch 'origin/main' into bladyjoker/class-performance
bladyjoker
committed
261c2f4

Commits on Aug 27, 2024

Merge branch 'main' of github.com:mlabs-haskell/lambda-buffers into bladyjoker/class-performance
szg251
committed
8bb7633