Add kind equalities to GHC.
[ghc.git] / testsuite / tests / partial-sigs / should_compile / ADT.stderr
index b1e2a3a..0fe16d1 100644 (file)
@@ -2,8 +2,8 @@ TYPE SIGNATURES
   bar :: Int -> Foo Bool () Int
 TYPE CONSTRUCTORS
   data Foo x y z = Foo x y z
-    Promotable
+    Kind: * -> * -> * -> *
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]