Changes between Version 322 and Version 323 of TypeFunctionsStatus


Ignore:
Timestamp:
Jun 4, 2008 1:11:24 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v322 v323  
    1515 * #2157 (solution: lhs of type instances may not contain partially applied vanilla type synonyms) 
    1616   * Addition to user manual, see [http://www.haskell.org/pipermail/haskell-cafe/2008-March/040989.html] and [http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-extensions.html#type-synonyms] 
     17 * #1897 (see also http://www.haskell.org/pipermail/haskell-cafe/2008-April/041385.html) 
    1718 * #2151 (GADT) 
    1819 * #2146 (minor problem) 
     
    4142'''Debugging of type families:''' 
    4243 0. Total families 
    43  0. Follow up on [http://www.haskell.org/pipermail/haskell-cafe/2008-April/041385.html] 
     44 0. Follow up on [] 
    4445 0. Allow repeated variable occurrences in lhses of type instances (see paper). 
    4546 0. Replacing GADT refinements by explicit equality constraints: