Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / ghci / scripts / T11376.script
1 :set -XTypeApplications
2 let { bar :: Show a => a -> b -> a; bar = error "urk" }
3 :type bar @Int
4 :set -fprint-explicit-foralls
5 :type bar @Int
6 :set -fprint-explicit-kinds -XTypeApplications -XPolyKinds
7 data Prox a = Prox
8 let { prox :: Prox a; prox = Prox }
9 :t prox
10 :t prox @Int
11 :t Prox
12 :t Prox @Int