blob: 970ae9b39aa2a13577db8c75ae8598c5db6670b7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE PolyKinds, FlexibleContexts, TypeFamilies #-}
module T8030 where
-- The types of op1 and op2 are both ambiguous
-- and should be reported as such
class C (a :: k) where
type Pr a :: *
op1 :: Pr a
op2 :: Pr a -> Pr a -> Pr a
|