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/th/TH_Roles2.stderr | |
| 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/th/TH_Roles2.stderr')
| -rw-r--r-- | testsuite/tests/th/TH_Roles2.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/th/TH_Roles2.stderr b/testsuite/tests/th/TH_Roles2.stderr index 3807609678..2970df6346 100644 --- a/testsuite/tests/th/TH_Roles2.stderr +++ b/testsuite/tests/th/TH_Roles2.stderr @@ -1,6 +1,6 @@ TYPE CONSTRUCTORS - type role T nominal representational - T{2} :: forall k. k -> * + data type T{2} :: forall k. k -> * + roles nominal representational Dependent modules: [] Dependent packages: [array-0.5.2.0, base-4.12.0.0, deepseq-1.4.4.0, ghc-boot-th-8.7, ghc-prim-0.5.3, integer-gmp-1.0.2.0, |