#4295: Review impredicative types
---------------------------------+------------------------------------------
Reporter: simonpj | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
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.
> * Many tests in `boxy/`
> * tcfail198
> * tcfail174
> * tcfail165
> * tcfail145
> * tcfail104
> * tc211
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.
* Many tests in `boxy/` (see also #1330 for Church2)
* tcfail198
* tcfail174
* tcfail165
* tcfail145
* tcfail104
* tc211
--
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4295#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
