diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-03 13:24:11 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-04 15:37:58 +0100 |
| commit | e9e664022af66778bcc08f66ce3ba3b012c77ea4 (patch) | |
| tree | a3980731457490ad2612d3966a70dad93e438528 /testsuite/tests/partial-sigs/should_compile/ADT.stderr | |
| parent | bd7898537768f936d05c0c83eef1cd9b00933347 (diff) | |
| download | haskell-e9e664022af66778bcc08f66ce3ba3b012c77ea4.tar.gz | |
Better -ddump-types
The debug flag -ddump-types is supposed to show the type
of Ids, and the kinds of type constructors. It was doing
the former but not the latter -- instead it was using
showTyTying, which is actually less helpful when debugging.
This patch changes it to print the kind and roles of the thing.
I also made -ddump-types show pattern synonyms
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/ADT.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/ADT.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/ADT.stderr b/testsuite/tests/partial-sigs/should_compile/ADT.stderr index ce0f93ac47..92e1bf59f5 100644 --- a/testsuite/tests/partial-sigs/should_compile/ADT.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ADT.stderr @@ -2,7 +2,7 @@ TYPE SIGNATURES ADT.Foo :: forall x y z. x -> y -> z -> Foo x y z bar :: Int -> Foo Bool () Int TYPE CONSTRUCTORS - data Foo x y z = Foo x y z + Foo :: * -> * -> * -> * COERCION AXIOMS Dependent modules: [] Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3, |