instance of synonym
|Reported by:||nobody||Owned by:||nobody|
|Component:||Compiler (Type checker)||Version:||None|
|Type of failure:||Test Case:|
|Related Tickets:||Differential Revisions:|
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. [email protected]
Note: See TracTickets for help on using tickets.