Wibble to Taming the Kind Inference Monster
[ghc.git] / testsuite / tests / roles / should_compile / Roles2.stderr
index 1703151..425cc0c 100644 (file)
@@ -1,7 +1,7 @@
 TYPE CONSTRUCTORS
-  T1{1} :: * -> *
-  type role T2 phantom
-  T2{1} :: * -> *
+  data type T1{1} :: * -> *
+  data type T2{1} :: * -> *
+    roles phantom
 DATA CONSTRUCTORS
   K2 :: forall a. FunPtr a -> T2 a
   K1 :: forall a. IO a -> T1 a