Changes between Version 13 and Version 14 of Status/April07


Ignore:
Timestamp:
Apr 30, 2007 9:45:55 AM (8 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