Changes between Version 35 and Version 36 of Status'


Ignore:
Timestamp:
Sep 17, 2006 3:10:01 AM (8 years ago)
Author:
ravi@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status'

    v35 v36  
    3030== "definitely-in" Proposal Status == 
    3131 
    32 || Description                      || Ticket || Writers || Draft report text || Decisions made                           || Currently open issues                                               || 
    33 ||                                  ||        ||         ||                   ||                                          ||                                          || 
    34 || add some kind of [wiki:Concurrency]     || #74    || IJ, SM  ||                   || - basic concurrency interfaces           || - cooperative or preemptive              || 
    35 ||                                  ||        ||         ||                   || - concurrent and reentrant foreign calls || - foreign call annotation syntax         || 
    36 ||                                  ||        ||         ||                   || - bound threads as a specified extension || - semantics of IORefs                    || 
    37 ||                                  ||        ||         ||                   ||                                          ||                                          || 
    38 || add ForeignFunctionInterface     || #35    || MC, SM  ||                   || - additional C99 types and casts         || - transparent marshalling of newtypes    || 
    39 ||                                  ||        ||         ||                   || - add signed and unsigned char casts     ||                                          || 
    40 ||                                  ||        ||         ||                   ||                                          ||                                          || 
    41 || add multi-parameter type classes || #49    || MS      ||                   || - in assuming there is a suitable mechanism for type-indexed types                                          || - MultiParamTypeClassesDilemma           || 
    42 ||                                  ||        ||         ||                   ||                                          ||                                          || 
    43 || add RankNTypes or Rank2Types     || #60    || AL      ||                   ||                                          || - RankN or Rank2?                        || 
    44 ||                                  ||        ||         ||                   ||                                          ||                                          || 
    45 || add PolymorphicComponents        || #57    || AL      ||                   ||                                          || - dependency on Rank2Types or RankNTypes                                                           
    46 ||                                  ||        ||         ||                   ||                                          ||                                          || 
    47 || add ExistentialQuantification (existential components) || #26       || AL, MS, SJT        ||                   ||                                          ||      || 
    48 ||                                  ||        ||         ||                   ||                                          ||                                          || 
    49 || add HierarchicalModules          || #24    || IJ, BH  ||                   ||                                          ||   None                                                                         || 
    50 ||                                  ||        ||         ||                   ||                                          ||                                          || 
    51 || add EmptyDataDeclarations        || #25    || BH, HN  ||                   ||                                          || - dependency on KindAnnotations                                      || 
    52 ||                                  ||        ||         ||                   ||                                          ||                                          || 
    53 || DoAndIfThenElse                  || #23    || SM, HN  ||                   ||                                          ||  None                                    || 
    54 ||                                  ||        ||         ||                   ||                                          ||                                          || 
    55 || fix comment syntax grammar       || #42    || SM      ||                   ||                                          ||  None                                    || 
    56 ||                                  ||        ||         ||                   ||                                          ||                                          || 
    57 || add PatternGuards                || #56    || RN, DS  ||                   ||                                          ||  None                                    || 
    58 ||                                  ||        ||         ||                   ||                                          ||                                          || 
    59 || add InfixTypeConstructors        || #78    || BH, AL  ||                   ||                                          ||  None                                    || 
    60 ||                                  ||        ||         ||                   ||                                          ||                                          || 
     32|| Description                         || Ticket || Writers || Draft report text || Currently open issues                     
     33||                                     ||        ||         ||                   ||                                           
     34|| add some kind of [wiki:Concurrency] || #74    || IJ, SM  ||                   || cooperative or preemptive                 
     35||                                     ||        ||         ||                   || foreign call annotation syntax            
     36||                                     ||        ||         ||                   || semantics of IORefs                       
     37||                                     ||        ||         ||                   ||                                                                                     
     38|| add ForeignFunctionInterface        || #35    || MC, SM  ||                   || transparent marshalling of newtypes       
     39||                                     ||        ||         ||                   ||                                                                                     
     40|| add multi-parameter type classes    || #49    || MS      ||                   || MultiParamTypeClassesDilemma              
     41||                                     ||        ||         ||                   ||                                                                                     
     42|| add RankNTypes or Rank2Types        || #60    || AL      ||                   || RankN or Rank2?                          
     43||                                     ||        ||         ||                   ||                                                                                     
     44|| add PolymorphicComponents           || #57    || AL      ||                   || dependency on Rank2Types or RankNTypes                                                             
     45||                                     ||        ||         ||                   ||                                                                                    
     46|| add ExistentialQuantification (existential components) || #26       || AL, MS, SJT  ||   || syntax of existentials         
     47||                                     ||        ||         ||                   ||                                                                                     
     48|| add HierarchicalModules             || #24    || IJ, BH  ||                   ||  None                                                                                                              
     49||                                     ||        ||         ||                   ||                                                                                     
     50|| add EmptyDataDeclarations           || #25    || BH, HN  ||                   || dependency on KindAnnotations             
     51||                                     ||        ||         ||                   ||                                                                                   
     52|| DoAndIfThenElse                     || #23    || SM, HN  ||                   ||  None                                    
     53||                                     ||        ||         ||                   ||                                        
     54|| fix comment syntax grammar          || #42    || SM      ||                   ||  None                                    
     55||                                     ||        ||         ||                   ||                                           
     56|| add PatternGuards                   || #56    || RN, DS  ||                   ||  None                                    
     57||                                     ||        ||         ||                   ||                                          
     58|| add InfixTypeConstructors           || #78    || BH, AL  ||                   ||  None                                    
     59||                                     ||        ||         ||                   ||                                          
    6160    
    6261----