testsuite/tests/typecheck/should_fail/T8030.hs


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