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


Ignore:
Timestamp:
Apr 24, 2014 9:14:00 AM (17 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