testsuite/tests/ghc-regress/typecheck/should_compile/tc168.hs


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

{-# LANGUAGE MultiParamTypeClasses #-}

-- We want to get the type
--   	g :: forall a b c.  C a (b,c) => a -> b
--but GHC 6.0 bogusly gets
--   	g :: forall a b.  C a (b,()) => a -> b

module ShouldCompile where

class C a b where { op :: a -> b }

f x = fst (op x)