Changes between Version 37 and Version 38 of Status'


Ignore:
Timestamp:
Sep 17, 2006 3:28:35 AM (8 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: