Commit 5dd87133 authored 11 years ago by Simon Peyton Jones Committed by Austin Seipp 11 years ago

Fix egregious blunder in the type flattener

In tidying up the flattener I introduced an error that no
regression test caught, giving rise to Trac #8978, #8979.
It shows up if you have a type synonym whose RHS mentions
type functions, such sas
     type family F a
     type T a = (F a, a)   -- This synonym isn't properly flattened

The fix is easy, but sadly the bug is in the released GHC 7.8.1

(cherry picked from commit b8132a9d)

parent c5b6754f

No related merge requests found

Hide whitespace changes

Inline Side-by-side

Showing with 78 additions and 37 deletions

Please register or to comment