diff options
Diffstat (limited to 'testsuite/tests/polykinds/T15592.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T15592.stderr | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/testsuite/tests/polykinds/T15592.stderr b/testsuite/tests/polykinds/T15592.stderr index 71dc3b20b3..c1b823e738 100644 --- a/testsuite/tests/polykinds/T15592.stderr +++ b/testsuite/tests/polykinds/T15592.stderr @@ -1,11 +1,9 @@ -TYPE SIGNATURES - T15592.MkT :: - forall {k} k1 (f :: k1 -> k -> *) (a :: k1) (b :: k). - f a b -> T f a b -> T f a b TYPE CONSTRUCTORS type role T nominal nominal representational nominal nominal T :: forall {k} k1. (k1 -> k -> *) -> k1 -> k -> * -COERCION AXIOMS +DATA CONSTRUCTORS + MkT :: forall {k} k1 (f :: k1 -> k -> *) (a :: k1) (b :: k). + f a b -> T f a b -> T f a b Dependent modules: [] Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3, integer-gmp-1.0.2.0] |