Changes between Version 332 and Version 333 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jan 24, 2013 3:09:15 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v332 v333  
    107107
    108108== GHCi ==
     109 * #7586: `:kind` on a name should perhaps behave like `:info`
    109110 * #4017: unhelpful GHCi message
    110111