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

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

Category: None
Group: None
Status: Open
Resolution: None
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.


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

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