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


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

{-# OPTIONS_GHC -w #-}

-- A nasty case that crashed GHC 6.4 with a Lint error; 
-- see Note [Multiple instantiation] in TcExpr

module ShouldCompile where

class C a where
  foo :: Eq b => b -> a -> Int
  baz :: Eq a => Int -> a -> Int

instance C Int where
  baz = foo