diff options
Diffstat (limited to 'testsuite/tests/dependent/should_compile/KindEqualities.hs')
| -rw-r--r-- | testsuite/tests/dependent/should_compile/KindEqualities.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/dependent/should_compile/KindEqualities.hs b/testsuite/tests/dependent/should_compile/KindEqualities.hs index 1f2e82c302..4cba8281ca 100644 --- a/testsuite/tests/dependent/should_compile/KindEqualities.hs +++ b/testsuite/tests/dependent/should_compile/KindEqualities.hs @@ -1,8 +1,10 @@ -{-# LANGUAGE PolyKinds, GADTs, ExplicitForAll #-} +{-# LANGUAGE TypeInType, GADTs, ExplicitForAll #-} {-# OPTIONS_GHC -fwarn-incomplete-patterns #-} module KindEqualities where +import Data.Kind + data TyRep1 :: * -> * where TyInt1 :: TyRep1 Int TyBool1 :: TyRep1 Bool @@ -13,7 +15,7 @@ zero1 TyBool1 = False data Proxy (a :: k) = P -data TyRep :: k -> * where +data TyRep :: forall k. k -> * where TyInt :: TyRep Int TyBool :: TyRep Bool TyMaybe :: TyRep Maybe |