From 9a779d9fe05a0e6eec1db9b5c22fb5e9ae81eb91 Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Thu, 25 Oct 2018 16:33:47 +0100 Subject: A little more wibbling to -ddump-types --- testsuite/tests/roles/should_compile/Roles3.stderr | 2 ++ 1 file changed, 2 insertions(+) (limited to 'testsuite/tests/roles') 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 -- cgit v1.2.1