Changes between Version 188 and Version 189 of Status/SLPJ-Tickets


Ignore:
Timestamp:
May 12, 2011 12:19:01 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v188 v189  
    1111 
    1212 * #4347: rigid type signatures for impredicativity 
     13  
     14 * #1999: this relates to decomposition of type application in GADTs etc, which we no longer support.  We could start supporting it again, but the question is whether it's worth the extra complexity. 
    1315 
    1416=== Arity ===