Changes between Version 183 and Version 184 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Feb 2, 2011 9:14:27 AM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v183 v184  
    125125 
    126126=== Better error messages === 
     127 * #4921: ambiguous type variables 
    127128 * #1330: another bad error message (Church2) 
    128129 * #3440: type families and GADT error message