[ ghc-Bugs-756454 ] Class op should mention class tyvar

Bugs item #756454, was opened at 2003-06-18 08:20
Message generated for change (Comment added) made by simonpj
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=756454&group_id=8032

Category: None
Group: None
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Simon Peyton Jones (simonpj)
Assigned to: Nobody/Anonymous (nobody)
Summary: Class op should mention class tyvar

Initial Comment:
   class Foo a where
      op :: Int

is accepted, but it should be rejected.  Any use of op 
give ambiguity errors, of course, but it should be 
rejected up front.


----------------------------------------------------------------------

>Comment By: Simon Peyton Jones (simonpj)
Date: 2003-11-13 14:58

Message:
Logged In: YES 
user_id=50165

Fixed, at last

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=756454&group_id=8032