Changes between Version 32 and Version 33 of Status

Show
Ignore:
Timestamp:
04/15/08 10:55:39 (5 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