[project @ 2001-02-20 08:57:46 by simonpj]
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc112.hs
1 {-# OPTIONS -fglasgow-exts #-}
2
3 -- !!! Functional dependencies
4 -- This broke an early impl of functional dependencies
5 -- (complaint about ambiguity)
6
7 module ShouldCompile where
8
9 class C a b | a -> b where f :: a -> b
10
11 g :: (C a b, Eq b) => a -> Bool
12 g x = f x == f x