[project @ 2006-01-05 13:08:14 by simonpj]

Add a nasty multiple-instantiation test

testsuite/tests/ghc-regress/typecheck/should_compile/all.T

@@ -209,6 +209,7 @@ test('tc196', normal, compile, [''])
 test('tc197', normal, compile, [''])
 test('tc198', normal, compile, [''])
 test('tc199', expect_fail_if_compiler_type('ghc'), compile, [''])
+test('tc200', normal, compile, [''])
 
 test('syn-perf', normal, compile, ['-fcontext-stack=30'])
 test('LoopOfTheDay1', normal, compile, [''])

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

+{-# OPTIONS -w -fglasgow-exts #-}
+
+-- 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