Test Trac #8030
[ghc.git] / testsuite / tests / typecheck / should_fail / T8030.hs
1 {-# LANGUAGE PolyKinds, FlexibleContexts, TypeFamilies #-}
2 module T8030 where
3
4 -- The types of op1 and op2 are both ambiguous
5 -- and should be reported as such
6
7 class C (a :: k) where
8 type Pr a :: *
9 op1 :: Pr a
10 op2 :: Pr a -> Pr a -> Pr a
11