Changes between Version 58 and Version 59 of Status/SLPJ-Tickets

Show
Ignore:
Timestamp:
07/23/09 05:16:47 (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v58 v59  
    6666== Types and type inference == 
    6767  
     68 * #1496: Newtype deriving and type families type soundness problem 
    6869 * #1897: '''Ambiguity: don't infer a type that can't be checked if the type is given as a signature''' (this one is important).  See SPJ's mailbox: Haskell type system/Ambiguity. 
    6970 * #2859: optimise coercion terms