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


Ignore:
Timestamp:
May 12, 2011 12:19:01 PM (4 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 ===