Code

Class checking performance fixes#240

Code

Open

bladyjoker wants to merge 12 commits intomainmlabs-haskell/lambda-buffers:mainfrom bladyjoker/class-performancemlabs-haskell/lambda-buffers:bladyjoker/class-performanceCopy head branch name to clipboard

+221-158

Commits

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

• Merge remote-tracking branch 'origin/szg251/hotfix' into bladyjoker/class-performance

  bladyjoker

  committed
  1c4e6bb

• Merge remote-tracking branch 'origin/szg251/hotfix' into bladyjoker/class-performance

  bladyjoker

  committed
  e3e8afd

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