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/roles/should_compile/Roles14.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/roles/should_compile/Roles14.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles14.stderr | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles14.stderr b/testsuite/tests/roles/should_compile/Roles14.stderr index 86434f1ed1..57899142d9 100644 --- a/testsuite/tests/roles/should_compile/Roles14.stderr +++ b/testsuite/tests/roles/should_compile/Roles14.stderr @@ -2,9 +2,7 @@ TYPE SIGNATURES meth2 :: forall a. C2 a => a -> a TYPE CONSTRUCTORS type role C2 representational - class C2 a where - meth2 :: a -> a - {-# MINIMAL meth2 #-} + C2 :: * -> Constraint COERCION AXIOMS axiom Roles12.N:C2 :: C2 a = a -> a -- Defined at Roles14.hs:6:1 Dependent modules: [] |