diff options
Diffstat (limited to 'testsuite/tests/dependent/should_compile/Dep3.hs')
-rw-r--r-- | testsuite/tests/dependent/should_compile/Dep3.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/dependent/should_compile/Dep3.hs b/testsuite/tests/dependent/should_compile/Dep3.hs index db10d2a8c6..bbad15eec2 100644 --- a/testsuite/tests/dependent/should_compile/Dep3.hs +++ b/testsuite/tests/dependent/should_compile/Dep3.hs @@ -5,16 +5,16 @@ module Dep3 where import Data.Kind import GHC.Exts ( Constraint ) -type Star1 = * +type Star1 = Type data Id1 (a :: Star1) where Id1 :: a -> Id1 a -data Id1' :: Star1 -> * where +data Id1' :: Star1 -> Type where Id1' :: a -> Id1' a type family Star2 x where - Star2 x = * + Star2 x = Type data Id2a (a :: Star2 Constraint) = Id2a a @@ -22,5 +22,5 @@ data Id2a (a :: Star2 Constraint) = Id2a a data Id2 (a :: Star2 Constraint) where Id2 :: a -> Id2 a -data Id2' :: Star2 Constraint -> * where +data Id2' :: Star2 Constraint -> Type where Id2' :: a -> Id2' a |