Changes between Version 15 and Version 16 of Ticket #4295


Ignore:
Timestamp:
Aug 17, 2011 8:13:10 AM (3 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #4295 – Description

    v15 v16  
    1414 * #2846 
    1515 * #4347 
    16  
     16 * [http://augustss.blogspot.com/2011/07/impredicative-polymorphism-use-case-in.html Lennart's blog post] has an interesting use case of impredicative polymorphism; it worked in 7.0, but alas not in the new typechecker.