diff options
Diffstat (limited to 'testsuite/tests/polykinds/PolyKinds13.hs')
| -rw-r--r-- | testsuite/tests/polykinds/PolyKinds13.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/PolyKinds13.hs b/testsuite/tests/polykinds/PolyKinds13.hs index 315c62a998..a754683324 100644 --- a/testsuite/tests/polykinds/PolyKinds13.hs +++ b/testsuite/tests/polykinds/PolyKinds13.hs @@ -16,11 +16,14 @@ instance Functor Proxy where data TypeRep = TypeRep class MyTypeable t where +-- MyTypeable :: forall k. k -> Constraint myTypeOf :: Proxy t -> TypeRep myTypeOf _ = TypeRep data Apply f t = Apply (f t) +-- Apply :: forall k. (k -> *) -> k -> * instance MyTypeable Apply +-- df :: forall k. MyTypeable ((k -> *) -> k -> *) (Apply k) instance MyTypeable Int instance MyTypeable Maybe |