Changes between Version 13 and Version 14 of Status/April07


Ignore:
Timestamp:
Apr 30, 2007 9:45:55 AM (7 years ago)
Author:
simonmar
Comment:

less => fewer :-)

Legend:

Unmodified
Added
Removed
Modified
  • Status/April07

    v13 v14  
    9393story on impredicative instantiation (see the paper "Boxy types"). 
    9494The feature is implemented, but the implementation is significantly 
    95 more complicated than we expected; and it delivers less benefits than 
     95more complicated than we expected; and it delivers fewer benefits than 
    9696we hoped.  For example, the system described in the paper does not 
    9797type-check (`runST $ foo`) and everyone complains. So Simon added