[GHC] #10325: Clearify status of ImpredicativeTypes Extension
#10325: Clearify status of ImpredicativeTypes Extension -------------------------------------+------------------------------------- Reporter: | Owner: j80JjBjVNRMajmA | Status: new Type: bug | Milestone: Priority: normal | Version: 7.10.1 Component: | Operating System: Unknown/Multiple Documentation | Type of failure: None/Unknown Keywords: | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- There seem to be many statements about this extension and its problems floating around in the internet. But a user of GHC will first fall into a possibly large number of traps and problems before he finds them. I think it would help, if the GHC manual [https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/other- type-extensions.html#impredicative-polymorphism] and the compiler warned about this extension (instead of suggesting it!). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10325 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10325: Clearify status of ImpredicativeTypes Extension -------------------------------------+------------------------------------- Reporter: j80JjBjVNRMajmA | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #9618, #10281 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by rwbarton): * related: => #9618, #10281 Comment: I agree with j80JjBjVNRMajmA, and see also #9618. Meanwhile #10281 is in part about expanding the documentation of ImpredicativeTypes slightly. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10325#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10325: Clearify status of ImpredicativeTypes Extension
-------------------------------------+-------------------------------------
Reporter: j80JjBjVNRMajmA | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Documentation | Version: 7.10.1
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: None/Unknown | Unknown/Multiple
Blocked By: | Test Case:
Related Tickets: #9618, #10281 | Blocking:
| Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by Simon Peyton Jones
#10325: Clearify status of ImpredicativeTypes Extension -------------------------------------+------------------------------------- Reporter: j80JjBjVNRMajmA | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Documentation | Version: 7.10.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #9618, #10281 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * resolution: => fixed Comment: Done! Thanks. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10325#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC