blob: 2e5cf022126fc1ff3fcff7223e3cb2c28b972d3d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeInType #-}
{-# OPTIONS_GHC -Wno-partial-type-signatures -Wno-implicit-kind-vars #-}
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
|
