Changes between Version 22 and Version 23 of Status'


Ignore:
Timestamp:
Sep 16, 2006 1:36:10 PM (8 years ago)
Author:
ravi@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status'

    v22 v23  
    1515||                                  ||        ||         ||                   || - add signed and unsigned char casts     ||                                          || 
    1616||                                  ||        ||         ||                   ||                                          ||                                          || 
    17 || add multi-parameter type classes || #49    || MS      ||                   || - in assuming a suitable mechanism for type-indexed types                                          || - MultiParamTypeClassesDilemma           || 
     17|| add multi-parameter type classes || #49    || MS      ||                   || - in assuming there is a suitable mechanism for type-indexed types                                          || - MultiParamTypeClassesDilemma           || 
    1818||                                  ||        ||         ||                   ||                                          ||                                          || 
    1919|| add RankNTypes or Rank2Types     || #60    || AL      ||                   ||                                          || - RankN or Rank2?                        ||