Changes between Version 10 and Version 11 of FlexibleInstances


Ignore:
Timestamp:
Mar 31, 2006 11:08:11 PM (9 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 ==