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/determinism | |
| 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/determinism')
| -rw-r--r-- | testsuite/tests/determinism/determ021/determ021.stdout | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/testsuite/tests/determinism/determ021/determ021.stdout b/testsuite/tests/determinism/determ021/determ021.stdout index 1f6a636ade..d0a002bc9a 100644 --- a/testsuite/tests/determinism/determ021/determ021.stdout +++ b/testsuite/tests/determinism/determ021/determ021.stdout @@ -4,8 +4,6 @@ TYPE SIGNATURES forall (f :: * -> *) t b. (Applicative f, Num t, Num b) => (t -> f b) -> f b -TYPE CONSTRUCTORS -COERCION AXIOMS Dependent modules: [] Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3, integer-gmp-1.0.2.0] @@ -15,8 +13,6 @@ TYPE SIGNATURES forall (f :: * -> *) t b. (Applicative f, Num t, Num b) => (t -> f b) -> f b -TYPE CONSTRUCTORS -COERCION AXIOMS Dependent modules: [] Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3, integer-gmp-1.0.2.0] |