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/T8958.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/T8958.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/T8958.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/roles/should_compile/T8958.stderr b/testsuite/tests/roles/should_compile/T8958.stderr index db4e8330de..55a6303b64 100644 --- a/testsuite/tests/roles/should_compile/T8958.stderr +++ b/testsuite/tests/roles/should_compile/T8958.stderr @@ -5,10 +5,10 @@ TYPE SIGNATURES T8958.MkMap :: forall k v. [(k, v)] -> Map k v TYPE CONSTRUCTORS type role Map nominal representational - newtype (Nominal k, Representational v) => Map k v = MkMap [(k, v)] - class Nominal a + Map :: * -> * -> * + Nominal :: * -> Constraint type role Representational representational - class Representational a + Representational :: * -> Constraint COERCION AXIOMS axiom T8958.N:Map :: Map k v = [(k, v)] -- Defined at T8958.hs:13:1 INSTANCES |