diff options
Diffstat (limited to 'testsuite/tests/polykinds/T14887a.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T14887a.hs | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/testsuite/tests/polykinds/T14887a.hs b/testsuite/tests/polykinds/T14887a.hs index 2e5cf02212..4179862cad 100644 --- a/testsuite/tests/polykinds/T14887a.hs +++ b/testsuite/tests/polykinds/T14887a.hs @@ -1,16 +1,10 @@ {-# LANGUAGE PartialTypeSignatures #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeInType #-} -{-# OPTIONS_GHC -Wno-partial-type-signatures -Wno-implicit-kind-vars #-} +{-# OPTIONS_GHC -Wno-partial-type-signatures #-} module Bug where import Data.Proxy -f1 :: forall (x :: a). Proxy (x :: _) --- This one has an implicitly-quantified kind var 'a', which --- we will stop accepting in the future, under the forall-or-nothing --- rule. Hence -Wno-implicit-kind-vars -f1 = Proxy - f2 :: forall a (x :: a). Proxy (x :: _) f2 = Proxy |