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/partial-sigs/should_compile/ADT.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/partial-sigs/should_compile/ADT.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/ADT.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/ADT.stderr b/testsuite/tests/partial-sigs/should_compile/ADT.stderr index 92e1bf59f5..0569722f24 100644 --- a/testsuite/tests/partial-sigs/should_compile/ADT.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ADT.stderr @@ -1,9 +1,9 @@ TYPE SIGNATURES - ADT.Foo :: forall x y z. x -> y -> z -> Foo x y z bar :: Int -> Foo Bool () Int TYPE CONSTRUCTORS Foo :: * -> * -> * -> * -COERCION AXIOMS +DATA CONSTRUCTORS + Foo :: forall x y z. x -> y -> z -> Foo x y z Dependent modules: [] Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3, integer-gmp-1.0.2.0] |