blob: 7e8b660c4e3bb9db2ec75705a456a7dbbe87ad75 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeInType #-}
module T13777 where
import Data.Kind
import Data.Proxy
data S :: forall k. Proxy k -> Type where
MkS :: S ('Proxy :: Proxy Maybe)
data T (a :: b) :: forall c (d :: Type) e.
(forall f. Proxy f) -> Proxy c -> Proxy d -> Proxy e
-> Type where
-- NB: This was originally a failing test, but now that we have #15273, it works!
|
