Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / ghci / scripts / T12550.script
1 :set -fprint-explicit-foralls -XKindSignatures -XExplicitNamespaces -XUnicodeSyntax
2 import Data.Kind (type Type)
3
4
5 class C a where f :: a b
6 :t f
7 class C (a :: * -> * ) where f :: a b
8 :t f
9 class C (a :: ★ -> * ) where f :: a b
10 :t f
11 class C (a :: * -> ★ ) where f :: a b
12 :t f
13 class C (a :: ★ -> ★ ) where f :: a b
14 :t f
15 class C (a :: Type -> Type ) where f :: a b
16 :t f
17
18 :set -fprint-unicode-syntax 
19
20 class C a where f :: a b
21 :t f
22 class C (a :: * -> * ) where f :: a b
23 :t f
24 class C (a :: ★ -> * ) where f :: a b
25 :t f
26 class C (a :: * -> ★ ) where f :: a b
27 :t f
28 class C (a :: ★ -> ★ ) where f :: a b
29 :t f
30 class C (a :: Type -> Type ) where f :: a b
31 :t f
32
33 :t fmap
34 :i fmap
35 :k Functor
36
37 import GHC.Generics
38 :i Functor
39 :t datatypeName
40 :i datatypeName
41 :t (:*:)
42 :k Rep
43 :k M1
44