Changes between Version 415 and Version 416 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Apr 24, 2014 9:14:00 AM (13 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v415 v416  
    55 * #8984: better error message for `Coercible` 
    66 * #8673: more generous GADT record selectors 
    7  * #8566: Given kind equalities are discarded 
    87 * #8550: Don't build recursive type-function dictionaries 
    98 * #8486, #5682: Parsing of pomoted kinds, and `Typeable` instances involving them 
     
    1312 * #7730: display `TyCons` in tidied form in `pprTyThing` 
    1413 * #5610, #7243: Better error messages for `foreign` declarations 
    15  * #8264: `checkValidInstance` for `Typeable`, `Coercible` etc. 
    1614 * #8240: better error messages for type-function equalities 
    1715 * #8095: very slow constraint solving 
     
    2220 * #6022: over-general types are inferred 
    2321 * #5642: slow constraint solving 
    24  * #7346, #7878: Pedro's generics and deriving 
    2522 * #7828, #5267, #5777, #5333, #344: bugs in arrows 
    2623 * #7204: a class to controll FFI marshalling; and newtype deriving for classes with ATs 
     
    3532 * #1475: allow splicing of import declarations (5 in cc list) 
    3633 * #8100: support standalone deriving 
    37  * #4364: cycle in type declarations 
    3834 * #4429: `reinerp` work on `newName` and export reorganisation 
    39  * #7021: make TH catch up with constraint kinds 
    4035 * #7484: TH allows you to build invalid names 
    4136