summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/T9380.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/gadt/T9380.hs')
-rw-r--r--testsuite/tests/gadt/T9380.hs7
1 files changed, 4 insertions, 3 deletions
diff --git a/testsuite/tests/gadt/T9380.hs b/testsuite/tests/gadt/T9380.hs
index 99dfab8477..9a2d0f7354 100644
--- a/testsuite/tests/gadt/T9380.hs
+++ b/testsuite/tests/gadt/T9380.hs
@@ -4,6 +4,7 @@
{-# LANGUAGE GADTs #-}
module Main where
+import Data.Kind (Type)
import Foreign
import Unsafe.Coerce
@@ -13,11 +14,11 @@ newtype S (a :: M) = S Int
data SomeS = forall a . SomeS (S a)
-data V0 :: M -> * where
+data V0 :: M -> Type where
V0A :: Int -> V0 A
V0B :: Double -> V0 B
-data V1 :: M -> * where
+data V1 :: M -> Type where
V1A :: Int -> V1 A
V1B :: Double -> V1 B
V1a :: () -> V1 a
@@ -65,4 +66,4 @@ test2 =
main = do
test0 -- no output at all
test1 -- A
- test2 -- O_o \ No newline at end of file
+ test2 -- O_o