Changes between Version 70 and Version 71 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Nov 3, 2009 12:12:52 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v70 v71  
    7272== Types and type inference == 
    7373  
     74 * #3632: better update for records with existentials 
    7475 * #1496: Newtype deriving and type families type soundness problem 
    7576 * #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.