[ ghc-Bugs-1234256 ] instance of synonym

Bugs item #1234256, was opened at 2005-07-07 09:16
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=1234256&group_id=8032

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Compiler (Type checker)
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: instance of synonym

Initial Comment:
The following non-Haskell 98 instance is accepted even
without -fglasgow-exts:

type Foo = Double
instance Bounded Foo

The error message quotes the relevant part of the
Report (The instance type must be of form (T a b c)
where T is not a synonym, and a,b,c are distinct type
variables) and the code expresses this, but it seems
that type synonyms have already been expanded, so only
non-saturated ones are left at this stage.

ross@xxxxxxxxxxxxxx

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

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