Changes between Version 431 and Version 432 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jun 5, 2014 1:42:58 PM (11 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v431 v432  
    187187 
    188188=== Better error messages === 
    189  * #7856: function type decomposed a bit too eagerly => worse error 
     189 * #9173: inferred/expected error messages 
    190190 * #4921: ambiguous type variables 
    191191 * #1330: another bad error message (Church2)