#4295: Review higher-rank and impredicative types
---------------------------------+------------------------------------------
Reporter: simonpj | Owner: simonpj
Type: bug | Status: new
Priority: normal | Milestone: 7.4.1
Component: Compiler | Version: 6.12.3
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Description changed by simonpj:
Old description:
> 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.
> * tc150
> * tc194
> * tcfail198
> * tcfail174
> * tcfail165
> * tcfail145
> * tcfail104
> * tc211
> * indexed-types/should_compile/T4120
> * simpl017
> * Many tests in `boxy/` (see also #1330 for Church2)
> * #2193
> * #2846
> * #4347
New description:
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.
* tc150
* tc194
* tcfail198
* tcfail174
* tcfail165
* tcfail145
* tcfail104
* tc211
* indexed-types/should_compile/T4120
* simpl017
* Many tests in `boxy/` (see also #1330 for Church2)
* #2193
* #2846
* #4347
* [http://augustss.blogspot.com/2011/07/impredicative-polymorphism-use-
case-in.html Lennart's blog post] has an interesting use case of
impredicative polymorphism; it worked in 7.0, but alas not in the new
typechecker.
--
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4295#comment:16>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
