[project @ 2001-04-30 11:23:28 by simonpj]

Fix test so that it doesnt use undecidable instances

diff --git a/ghc/tests/typecheck/should_compile/tc109.hs b/ghc/tests/typecheck/should_compile/tc109.hs
index 133aac1..a57b3fb 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc109.hs
+++ b/ghc/tests/typecheck/should_compile/tc109.hs
@@ -8,7 +8,7 @@ module ShouldCompile where
 class P a
 class R a b | b->a
 
-instance (P a,R a b) => P b
+instance (P a,R a b) => P [b]
 
 {- GHC 4.08.1 doesn't seem to allow variables in the context that
 don't appear after the =>, but which are still ok since they are