blob: f3dec42564b6d6ac3bd4cc9058222820234f18ae (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE ExplicitForAll, PolyKinds #-}
{-# OPTIONS -Wcompat -Wno-error=implicit-kind-vars #-}
module T15264 where
import Data.Proxy
bad1 :: forall (a :: k). Proxy a -> ()
bad1 _ = ()
bad2 :: forall (a :: k1) (b :: k2). Proxy a -> ()
bad2 _ = ()
good :: forall k (a :: k). Proxy a -> ()
good _ = ()
|
