testsuite/tests/polykinds/T11466.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

{-# LANGUAGE ImplicitParams, ConstraintKinds #-}

module T11466 where

-- This should be ok
type Bla = ?x::Int

-- This should be ook
f :: Bla => Int -> Int
f y = ?x + y

data T = T

-- But this should be rejected
instance Bla => Eq T