Changes between Version 35 and Version 36 of Status'


Ignore:
Timestamp:
Sep 17, 2006 3:10:01 AM (9 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----