testsuite/tests/dependent/should_fail/T15264.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# LANGUAGE ExplicitForAll, PolyKinds #-}

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 _ = ()