relnotes: Add mention of QuantifiedConstraints
[ghc.git] / testsuite / tests / typecheck / should_fail / T11963.hs
1 {-# LANGUAGE GADTs, PolyKinds, RankNTypes #-}
2
3 module T11963 where
4
5 -- this module should be rejected without TypeInType
6
7 import Data.Proxy
8
9 -- see code in RnTypes.extract_hs_tv_bndrs which checks for these bad cases
10
11 -- bndr_kvs vs body_tvs
12 data Typ k t where
13 Typ :: (forall (a :: k -> *). a t -> a t) -> Typ k t
14
15 -- bndr_kvs vs acc_tvs
16 foo :: (forall (t :: k). Proxy t) -> Proxy k
17 foo _ = undefined
18
19 -- locals vs body_kvs
20 bar :: forall k. forall (t :: k). Proxy t
21 bar = undefined
22
23 -- body_kvs vs acc_tvs
24 quux :: (forall t. Proxy (t :: k)) -> Proxy k
25 quux _ = undefined
26
27 -- body_tvs vs acc_kvs
28 blargh :: (forall a. a -> Proxy k) -> Proxy (t :: k)
29 blargh _ = undefined