#4295: Review higher-rank and impredicative types -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: task | Status: infoneeded Priority: normal | Milestone: 8.0.1 Component: Compiler (Type | Version: 6.12.3 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => infoneeded Comment: Simon, did this ever happen? It looks like most of the tests you list are okay, ||= test =||= status =|| || tc150 || ok || || tc194 || ok || || tcfail198 || ok || || tcfail174 || ok || || tcfail165 || ok || || tcfail145 || ok || || tcfail104 || ok || || tc211 || ok || || indexed-types/should_compile/T4120 || ok || || simpl017 || ok || || boxy/Base1 || broken due to #4295 || || boxy/Church1 || broken due to #4295 || || boxy/Church2 || broken due to #1330 || || boxy/PList1 || broken due to #4295 || || boxy/PList2 || broken due to #4295 || || boxy/SystemF || broken due to #4295 || || boxy/boxy || broken due to #4295 || || boxy/Compose || ok || || boxy/T2193 || ok || -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/4295#comment:26 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler