Delete ghctags cabal file
[ghc.git] / testsuite / tests / typecheck / should_compile / tc112.hs
1 {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
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