testsuite/tests/typecheck/should_fail/tcfail150.hs


1
2
3
4
5
6
7

{-# LANGUAGE Haskell2010 #-}
module ShouldFail where

-- !!! constraining the type variable in a class head is illegal
-- Simpler version of tcfail149
class Foo a where
  op :: Eq a => a -> a