Review higher-rank and impredicative types
|Reported by:||simonpj||Owned by:||simonpj|
|Component:||Compiler (Type checker)||Version:||6.12.3|
|Keywords:||Cc:||nicolas.pouillard@…, v.dijk.bas@…, hackage.haskell.org@…, favonia@…, nathanhowell@…, rabeslik@…, ben@…|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Revisions:|
Description (last modified by simonpj)
The 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.
- Many tests in boxy/ (see also #1330 for Church2)
- Lennart's blog post has an interesting use case of impredicative polymorphism; it worked in 7.0, but alas not in the new typechecker.
Change History (24)
comment:2 Changed 5 years ago by simonpj
- Description modified (diff)
- Summary changed from Review impredicative types to Review higher-rank and impredicative types