Commit 041ca5cc authored by simonpj's avatar simonpj
Browse files

[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.
parent 3fc8c5b2
...@@ -650,7 +650,7 @@ checkValidClass cls ...@@ -650,7 +650,7 @@ checkValidClass cls
-- Check that for a generic method, the type of -- Check that for a generic method, the type of
-- the method is sufficiently simple -- the method is sufficiently simple
; checkTc (dm /= GenDefMeth || validGenericMethodType op_ty) ; checkTc (dm /= GenDefMeth || validGenericMethodType tau)
(badGenericMethodType op_name op_ty) (badGenericMethodType op_name op_ty)
} }
where where
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment