Changes between Version 1 and Version 2 of Ticket #4295


Ignore:
Timestamp:
Sep 7, 2010 12:51:46 PM (4 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #4295

    • Property Summary changed from Review impredicative types to Review higher-rank and impredicative types
  • Ticket #4295 – Description

    v1 v2  
    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. 
    2  * Many tests in `boxy/` (see also #1330 for Church2) 
     2 * tc150 
    33 * tcfail198 
    44 * tcfail174 
     
    77 * tcfail104 
    88 * tc211 
     9 * Many tests in `boxy/` (see also #1330 for Church2) 
    910