Changes between Version 25 and Version 26 of Status/October06

Show
Ignore:
Timestamp:
11/08/06 22:53:31 (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/October06

    v25 v26  
    4242 * 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]. 
    4343 
    44  * Once the last bits of indexed data types are done, Manuel will be tackling [http://haskell.org/haskellwiki/GHC/Indexed_type_synonyms indexed type synonyms] (aka type functions), which are considerably trickier, at least so far as type inference is concerned. 
     44 * Once the last bits of indexed data types are done, Manuel will be tackling indexed type synonyms (aka type functions), which are considerably trickier, at least so far as type inference is concerned. 
    4545 
    4646Simon, Simon and sons, November 2006 :)