[GHC] #4295: Review higher-rank and impredicative types
GHC
ghc-devs at haskell.org
Thu Oct 22 14:27:38 UTC 2015
#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: |
-------------------------------------+-------------------------------------
Comment (by simonpj):
No I have not looked at this for ages. Impredicativity is simply not a
supported feature at the moment. If things are passing, then let them
pass. If you have to change expect_broken to pass, then put a comment in
the .hs file to point to this ticket and say that it might be wobbly
because of impredicativity.
Simon
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4295#comment:27>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list