Changes between Version 4 and Version 5 of Language/Declarations

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

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Declarations

    v4 v5  
    209209}}} 
    210210 
    211 The return kind of abstract class constraints must be {{{+}}} (witnesses).  
     211The return kind of an abstract class constraint must be {{{+}}} (witnesses).  
    212212 
    213213Value type classes are as per Haskell, though we don't yet support default instances #90.