Changes between Initial Version and Version 1 of Ticket #4295


Ignore:
Timestamp:
Sep 7, 2010 11:40:47 AM (5 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