Changes between Version 37 and Version 38 of Status'


Ignore:
Timestamp:
Sep 17, 2006 3:28:35 AM (9 years ago)
Author:
ravi@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status'

    v37 v38  
    6363|| Description                         || Ticket || Writers || Draft report text || Currently open issues                   
    6464||                                     ||        ||         ||                   ||                                         
    65    
     65|| allow TypeSynonymInstances          || #70    || SJT     ||                   || superseded by NewtypeDeriving?
     66||                                     ||        ||         ||                   || not very useful without FlexibleInstances and/or OverlappingInstances
     67||                                     ||        ||         ||                   ||
     68|| RelaxedDependencyAnalysis           || #65    || HN, MS  ||                   || None
     69||                                     ||        ||         ||                   ||
     70|| ImpreciseExceptions                 || #39    ||         ||                   || may require a standard deepSeq to be usable
     71||                                     ||        ||         ||                   ||
     72|| NondecreasingIndentation            || #53    || SM      ||                   || None
     73||                                     ||        ||         ||                   ||
     74|| fix the lexical syntax for QualifiedIdentifiers || #39 || SM       ||         || permit qualified identifiers in definitions?                 
     75||                                     ||        ||         ||                   ||
     76|| FlexibleInstances                   || #32    ||         ||                   || choice of instance conditions for termination of typechecking
     77||                                     ||        ||         ||                   || poor interaction with NewtypeDeriving?
     78||                                     ||        ||         ||                   ||
     79|| add NewPragmas                      || #51    ||         ||                   || choose specific pragmas to standardize
     80||                                     ||        ||         ||                   ||
     81||                                     ||        ||         ||                   ||
     82
     83
     84
     85
     86
    6687----
    6788Member key: