Changes between Version 2 and Version 3 of Ticket #4295


Ignore:
Timestamp:
Sep 7, 2010 1:21:07 PM (4 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #4295 – Description

    v2 v3  
    11The ticket is a placeholder to remind me to work through the test cases for impredicative and higher rank types in the new typechecker.  For now, I'm marking many of them as `expect_broken` on this ticket, although I think many of them really should fail. 
    22 * tc150 
     3 * tc194 
    34 * tcfail198 
    45 * tcfail174