-
Richard Eisenberg authored
Doing so made the solver gobble up tons of memory, now that matchFam calls reduceTyFamApp_maybe. But, I don't know why, yet! Will look more closely at this soon.
3ec93917
Doing so made the solver gobble up tons of memory, now that matchFam calls reduceTyFamApp_maybe. But, I don't know why, yet! Will look more closely at this soon.