Changes between Version 3 and Version 4 of Language/Declarations

Show
Ignore:
Timestamp:
06/25/09 02:03:27 (5 years ago)
Author:
benl (IP: 150.203.160.45)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Declarations

    v3 v4  
    202202}}} 
    203203 
    204 The return kind of abstract class constraints must be {{{+}}}. We don't yet support default instances in type class declarations #90. 
     204Region, effect and closure classes are abstract, as we do not define instance functions for them. Classes such as {{{Mutable}}} and {{{Pure}}} are defined as abstract classes in the the base libraries. For example: 
     205 
     206{{{ 
     207class Mutable :: % -> + 
     208class Pure    :: ! -> + 
     209}}} 
     210 
     211The return kind of abstract class constraints must be {{{+}}} (witnesses).  
     212 
     213Value type classes are as per Haskell, though we don't yet support default instances #90. 
    205214 
    206215[[br]]