diff options
Diffstat (limited to 'testsuite/tests/polykinds/BadKindVar.hs')
| -rw-r--r-- | testsuite/tests/polykinds/BadKindVar.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/BadKindVar.hs b/testsuite/tests/polykinds/BadKindVar.hs index c24657f3d2..9275d453c5 100644 --- a/testsuite/tests/polykinds/BadKindVar.hs +++ b/testsuite/tests/polykinds/BadKindVar.hs @@ -5,5 +5,5 @@ module Foo where import Data.Proxy -- Should be illegal without PolyKinds -f :: forall (a :: k). Proxy a +f :: forall k (a :: k). Proxy a f = f |