Changes between Version 229 and Version 230 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Mar 28, 2012 3:26:35 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v229 v230  
    22 
    33== New typechecker things to fix (with Dimitrios) == 
     4 * #5934: Bad substitution for flatten skolem 
    45 * #5716, #5612, #5682, #5717, #5768, #5769, #5770, #5771: !PolyKinds 
    56 * #5913, #5751: type-class dictionary loops