Changes between Version 5 and Version 6 of DefaultSuperclassInstances


Ignore:
Timestamp:
Mar 10, 2011 4:52:38 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DefaultSuperclassInstances

    v5 v6  
    55Concretely, the proposal is to 
    66 
    7   * allow class declarations to embed instance declarations for some, none, or all of their given superclass constraints, provided all such instances have distinct classes. We say that superclasses with default implementations are '''intrinsic''' superclasses. Yes to 
     7  * Allow class declarations to include '''default superclass instance delcaration''' for some, none, or all of their given superclass constraints, provided all such instances have distinct classes. We say that superclasses with default implementations are '''intrinsic''' superclasses. Yes to 
    88{{{ 
    99    class Functor f => Applicative f where