From 041ca5cc15c08cd9c69d0f8401b11d38d4013184 Mon Sep 17 00:00:00 2001 From: simonpj Date: Mon, 11 Oct 2004 16:12:58 +0000 Subject: [PATCH] [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. --- ghc/compiler/typecheck/TcTyClsDecls.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 1.7.10.4