Changes between Version 222 and Version 223 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Feb 1, 2012 4:07:42 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v222 v223  
    88
    99=== Arity ===
     10 * #5809: arity analysis could be better
    1011 * #3924: weak arity leads to weak strictness
    1112 * #3698: arity analysis again