Changes between Initial Version and Version 1 of Ticket #4295


Ignore:
Timestamp:
Sep 7, 2010 11:40:47 AM (4 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #4295 – Description

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