diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-25 16:33:47 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-25 16:34:12 +0100 |
| commit | 9a779d9fe05a0e6eec1db9b5c22fb5e9ae81eb91 (patch) | |
| tree | 10936c1cc6b9dfbd1c12e01d8bdde8d380ad7d41 /testsuite/tests/roles | |
| parent | 3905c3c07ba2735e5b3d2dc3389272d5dbb1c503 (diff) | |
| download | haskell-9a779d9fe05a0e6eec1db9b5c22fb5e9ae81eb91.tar.gz | |
A little more wibbling to -ddump-types
Diffstat (limited to 'testsuite/tests/roles')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles3.stderr | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles3.stderr b/testsuite/tests/roles/should_compile/Roles3.stderr index ff36be8bdf..b3507b0564 100644 --- a/testsuite/tests/roles/should_compile/Roles3.stderr +++ b/testsuite/tests/roles/should_compile/Roles3.stderr @@ -8,6 +8,8 @@ TYPE CONSTRUCTORS C2 :: * -> * -> Constraint C3 :: * -> * -> Constraint C4 :: * -> * -> Constraint + type role F3 nominal + F3 :: * -> * type role F4 nominal F4 :: * -> * type role Syn1 nominal |