diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-16 12:03:56 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-24 16:38:55 +0100 |
| commit | 321bc1a644a9e4598a4af30d4aeae315f0ff487a (patch) | |
| tree | 81a3b5ee057609987270fe289aa3c5217773c251 /testsuite/tests/polykinds/T15592.stderr | |
| parent | 4111540127ae059774b2b7e69d7eddee01a17e81 (diff) | |
| download | haskell-321bc1a644a9e4598a4af30d4aeae315f0ff487a.tar.gz | |
Improve output from -ddump-types
This patch makes a number of improvements to the output
generated by -ddump-types
* Prints data constructor separately
* Omits empty chunks of output
I was driven initially by the unhelpful existing output for
data constructors, but ended up doing some refactoring.
Lots of error message wibbles, but nothing significant.
Certainly no change in user behaviour.
(NB: It is just possible that I have failed to cleanly
separate this patch from the next one, about
isPredTy and friends.)
Diffstat (limited to 'testsuite/tests/polykinds/T15592.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T15592.stderr | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/testsuite/tests/polykinds/T15592.stderr b/testsuite/tests/polykinds/T15592.stderr index 71dc3b20b3..c1b823e738 100644 --- a/testsuite/tests/polykinds/T15592.stderr +++ b/testsuite/tests/polykinds/T15592.stderr @@ -1,11 +1,9 @@ -TYPE SIGNATURES - T15592.MkT :: - forall {k} k1 (f :: k1 -> k -> *) (a :: k1) (b :: k). - f a b -> T f a b -> T f a b TYPE CONSTRUCTORS type role T nominal nominal representational nominal nominal T :: forall {k} k1. (k1 -> k -> *) -> k1 -> k -> * -COERCION AXIOMS +DATA CONSTRUCTORS + MkT :: forall {k} k1 (f :: k1 -> k -> *) (a :: k1) (b :: k). + f a b -> T f a b -> T f a b Dependent modules: [] Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3, integer-gmp-1.0.2.0] |