testsuite/tests/polykinds/BadKindVar.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE RankNTypes, KindSignatures #-}

module Foo where

import Data.Proxy

-- Should be illegal without PolyKinds
f :: forall k (a :: k). Proxy a
f = f