Changes between Version 2 and Version 3 of TypeSynonymInstances


Ignore:
Timestamp:
Dec 17, 2005 11:34:17 AM (8 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeSynonymInstances

    v2 v3  
    99 
    1010The proposal is to allow type synonyms (fully applied, as ever) in instance heads. These would be fully expanded before any other restrictions on instance heads were checked (see FlexibleInstances and OverlappingInstances). 
     11 
     12Not very useful without either FlexibleInstances or UndecidableInstances. 
    1113 
    1214== References ==