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 ofrtype
instead of part of the sigma type (e.g.int
would bertype Z
- This hopefully would allow making
int
and otherrtype
typeclasses opaque
- This hopefully would allow making
-
Try Set Filtered Unification - Probably too strong, as it applies to all hint databases