Skip to content

GitLab

Open
Created by Michael Sammler@msammlerOwner0 of 4 tasks completed0/4 tasks

Improve performance of typeclass search

Ideas:

  • Figure out how much time we spend on typeclass search
  • Try using a custom DB with the discriminated option and Hint Variables Opaque and friends
    • Downside: There is no Global Hint Resolve
  • Try making rty_type a parameter of rtype instead of part of the sigma type (e.g. int would be rtype Z
    • This hopefully would allow making int and other rtype typeclasses opaque
  • Try Set Filtered Unification
    • Probably too strong, as it applies to all hint databases
Edited by Michael Sammler