[GHC] #4295: Review higher-rank and impredicative types

[GHC]

#4295: Review higher-rank and 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.
>  * tc150
>  * tc194
>  * tcfail198
>  * tcfail174
>  * tcfail165
>  * tcfail145
>  * tcfail104
>  * tc211
>  * indexed-types/should_compile/T4120
>  * simpl017
>  * Many tests in `boxy/` (see also #1330 for Church2)
>  * #2193

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

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4295#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler