Better linting for types
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 27 Apr 2018 15:32:02 +0000 (16:32 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 27 Apr 2018 16:19:05 +0000 (17:19 +0100)
commit6da5b8772d512e2fb61730367f5258303e008ab4
tree263377c4bd46d52f56feec78a7e53209383d57a3
parent08003e7f4abafb0c9fe084e4670122ce67cf45dd
Better linting for types

Trac #15057 described deficiencies in the linting for types
involving type synonyms.  This patch fixes an earlier attempt.

The moving parts are desrcribed in
  Note [Linting type synonym applications]

Not a big deal.
compiler/coreSyn/CoreLint.hs
compiler/typecheck/FamInst.hs