diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-12-07 14:25:30 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-12-07 14:44:26 +0000 |
| commit | 5b7ca03995c1d5fbd29ba0e327bb2a1f344c9419 (patch) | |
| tree | 24d1d51df1ea68c0216d532cf3edac4639dcfcb7 /testsuite/tests/rename | |
| parent | eee1b61f85d949aa7c4bc496b5579cf759d1861e (diff) | |
| download | haskell-5b7ca03995c1d5fbd29ba0e327bb2a1f344c9419.tar.gz | |
Wibble to Taming the Kind Inference Monster
I had allowed rename/should_fail/T15828 (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.
Diffstat (limited to 'testsuite/tests/rename')
| -rw-r--r-- | testsuite/tests/rename/should_fail/T15828.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/rename/should_fail/T15828.stderr b/testsuite/tests/rename/should_fail/T15828.stderr index 9ca6366e92..9e860d2c79 100644 --- a/testsuite/tests/rename/should_fail/T15828.stderr +++ b/testsuite/tests/rename/should_fail/T15828.stderr @@ -2,6 +2,6 @@ T15828.hs:9:3: error: • Type indexes must match class instance head Expected: T (Maybe a) _ - Actual: T (Maybe a) b -- Defined at T15828.hs:9:20 + Actual: T (Maybe a1) b • In the type instance declaration for ‘T’ In the instance declaration for ‘C (Maybe a)’ |