diff options
Diffstat (limited to 'testsuite/tests/dependent/should_compile/mkGADTVars.hs')
| -rw-r--r-- | testsuite/tests/dependent/should_compile/mkGADTVars.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/dependent/should_compile/mkGADTVars.hs b/testsuite/tests/dependent/should_compile/mkGADTVars.hs index 9b48e8c395..70753256d8 100644 --- a/testsuite/tests/dependent/should_compile/mkGADTVars.hs +++ b/testsuite/tests/dependent/should_compile/mkGADTVars.hs @@ -5,5 +5,5 @@ module GADTVars where import Data.Kind import Data.Proxy -data T (k1 :: *) (k2 :: *) (a :: k2) (b :: k2) where - MkT :: T x1 * (Proxy (y :: x1), z) z +data T (k1 :: Type) (k2 :: Type) (a :: k2) (b :: k2) where + MkT :: T x1 Type (Proxy (y :: x1), z) z |