Changes between Version 10 and Version 11 of FlexibleInstances


Ignore:
Timestamp:
Mar 31, 2006 11:08:11 PM (8 years ago)
Author:
ross@…
Comment:

interaction with newtype deriving

Legend:

Unmodified
Added
Removed
Modified
  • FlexibleInstances

    v10 v11  
    6868It also allows derived instances like 
    6969{{{ 
    70 instance Show (s a) => Show (Sized s a) 
     70data Sized s a = S Int (s a) 
    7171    deriving (Show) 
    7272}}} 
    7373because the derived instance (above) has the required form. 
     74 
     75''Note:'' instances generated by NewtypeDeriving often do not have the required form, and can lead to non-terminating reductions. 
    7476 
    7577== Non-local termination conditions ==