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


Ignore:
Timestamp:
Feb 2, 2011 9:14:27 AM (5 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