From: simonpj <unknown>
Date: Mon, 11 Oct 2004 16:12:58 +0000 (+0000)
Subject: [project @ 2004-10-11 16:12:58 by simonpj]
X-Git-Tag: Initial_conversion_from_CVS_complete~1507
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=041ca5cc15c08cd9c69d0f8401b11d38d4013184

[project @ 2004-10-11 16:12:58 by simonpj]
---------------------------------
	Fix bug in derivable type classes
	---------------------------------

		MERGE TO STABLE (if poss)

The test for not-supported method types for derivable type classes
was broken. This fixes it.
---

diff --git a/ghc/compiler/typecheck/TcTyClsDecls.lhs b/ghc/compiler/typecheck/TcTyClsDecls.lhs
index 0c2054e..1c9447d 100644
--- a/ghc/compiler/typecheck/TcTyClsDecls.lhs
+++ b/ghc/compiler/typecheck/TcTyClsDecls.lhs
@@ -650,7 +650,7 @@ checkValidClass cls
 
 		-- Check that for a generic method, the type of 
 		-- the method is sufficiently simple
-	; checkTc (dm /= GenDefMeth || validGenericMethodType op_ty)
+	; checkTc (dm /= GenDefMeth || validGenericMethodType tau)
 		  (badGenericMethodType op_name op_ty)
 	}
 	where