Changes between Version 174 and Version 175 of Status/SLPJ-Tickets

Show
Ignore:
Timestamp:
12/17/10 00:48:45 (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v174 v175  
    113113 * #3638: rules and rigidity for GADTs 
    114114 * #3632: better update for records with existentials 
    115  * #1496: Newtype deriving and type families type soundness problem 
     115 * #1496, #4846: Newtype deriving and type families type soundness problem 
    116116 * #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. 
    117117 * #2859: optimise coercion terms