Changes between Version 12 and Version 13 of Status/October06


Ignore:
Timestamp:
Oct 31, 2006 10:59:22 PM (8 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/October06

    v12 v13  
    4444 * Simon PJ is determined to finally implement '''implication constraints''', which are the key to fixing the interaction between GADTs and type classes.   GHC's users have been very polite about this collection of bugs, but they should really be fixed.  Implication constraints are described by Martin Sulzmann: [http://www.comp.nus.edu.sg/~sulzmann/publications/tr-eadt.ps.gz]. 
    4545 
    46  * Once the last bits of ''indexed data types'' are done, Manuel will be tackling '''indexed type synonyms''' (aka type functions), which are considerably tricker, at least so far as type inference is concerned. 
     46 * Once the last bits of indexed data types are done, Manuel will be tackling '''indexed type synonyms''' (aka type functions), which are considerably tricker, at least so far as type inference is concerned. 
    4747 
    48 Simon, Simon & sons, October 2006 :) 
     48Simon, Simon, with help from Manuel, Bulat and others, October 2006 :)