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


Ignore:
Timestamp:
Jun 5, 2014 1:42:58 PM (14 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)