testsuite/tests/typecheck/should_compile/tc165.hs


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

{-# LANGUAGE ConstrainedClassMethods #-}
{-# OPTIONS_GHC -dcore-lint #-}

-- Fails GHC 5.04.2 with -dcore-lint
-- The issue ariseswhen you have a method that
-- constrains a class variable

module Test where

class C a where
    f :: (Eq a) => a

instance C () where
    f = f