Wibble to Taming the Kind Inference Monster

Authored by simonpj on Dec 7 2018, 8:25 AM.

Description

Wibble to Taming the Kind Inference Monster

I had allowed rename/should_fail/T15828 (Trac Trac #15828) to regress a bit.
The main payload of this patch is to fix that problem, at the cost of
more contortions in checkConsistentFamInst. Oh well, at least they are
highly localised.

I also update the -ddump-types code in TcRnDriver to print out some
more expicit information about each type constructor, thus instead of

DF{3} :: forall k. * -> k -> *

we get

data family DF{3} :: forall k. * -> k -> *

Remember, this is debug-printing only. This change is the reason
that so many .stderr files change.

Details

Committed
simonpjDec 7 2018, 8:44 AM
Parents
rGHCeee1b61f85d9: hadrian: optimise Rules.Compile
Branches
Unknown
Tags
Unknown