Performance regression on typechecking type families?

Simon Peyton Jones simonpj at
Mon Dec 1 12:02:48 UTC 2014

| I personally have run into exponential compile times with type families.
| Unfortunately I have not
| had the time yet to reduce my test case to something tractable.

Ha!  If you do find the time, I'm sure everyone would be grateful.  Just use the time while waiting for the type checker. If it is truly exponential, you will easily have enough waiting time :-)


More information about the ghc-devs mailing list