Changes between Version 32 and Version 33 of Status


Ignore:
Timestamp:
Apr 15, 2008 5:55:39 PM (6 years ago)
Author:
trac
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status

    v32 v33  
    3939|| add PartialTypeAnnotations || #86 ||  
    4040|| add [wiki:Arrows] || #13 ||  
     41|| make [wiki:Underscore] caseless || #72 || treatment of underscore-only identifiers 
    4142|| ImpreciseExceptions || #39 ||  
    4243=== Probably Accepted Proposals === 
     
    5152|| || || bang-pattern polymorphism 
    5253|| || || existentials and bang patterns 
    53 || make [wiki:Underscore] caseless || #72 || treatment of underscore-only identifiers 
    5454|| add NewPragmas || #51 || choose specific pragmas to standardize 
    5555|| FlexibleInstances || #32 || choice of instance conditions for termination of typechecking