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 | |
| parent | 3905c3c07ba2735e5b3d2dc3389272d5dbb1c503 (diff) | |
| download | haskell-9a779d9fe05a0e6eec1db9b5c22fb5e9ae81eb91.tar.gz | |
A little more wibbling to -ddump-types
Diffstat (limited to 'testsuite/tests')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/T3017.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles3.stderr | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/T3017.stderr b/testsuite/tests/indexed-types/should_compile/T3017.stderr index 2a57edf531..3b4361a2a5 100644 --- a/testsuite/tests/indexed-types/should_compile/T3017.stderr +++ b/testsuite/tests/indexed-types/should_compile/T3017.stderr @@ -6,6 +6,8 @@ TYPE SIGNATURES forall c a b. (Coll c, Num a, Num b, Elem c ~ (a, b)) => c -> c TYPE CONSTRUCTORS Coll :: * -> Constraint + type role Elem nominal + Elem :: * -> * ListColl :: * -> * COERCION AXIOMS axiom Foo.D:R:ElemListColl :: 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 |