blob: f2966876ba134602bbbbbd87fcc95fa47596747a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE PolyKinds, ConstraintKinds, ExplicitForAll #-}
module SAKS_Fail016 where
import Data.Kind (Constraint)
data T (a :: k)
type C :: forall k. k -> Constraint
class C a where
getC :: forall. T (a :: k) -- 'k' is not brought into scope by ScopedTypeVariables
|