[GHC] #8234: Remove role annotations on type synonyms
#8234: Remove role annotations on type synonyms ------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Currently, role annotations are allowed on vanilla type synonyms. However, Simon points out that this is very fragile, because a type synonym can be expanded at any time, thus losing a user's intended restriction. Solution: remove these annotations entirely. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8234> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8234: Remove role annotations on type synonyms -------------------------------------+------------------------------------ Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by Richard Eisenberg <eir@…>): In [changeset:f4046b508a5a71ff2e28f438b30048867dbad428/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="f4046b508a5a71ff2e28f438b30048867dbad428" Change role annotation syntax. This fixes bugs #8185, #8234, and #8246. The new syntax is explained in the comments to #8185, appears in the "Roles" subsection of the manual, and on the [wiki:Roles] wiki page. This change also removes the ability for a role annotation on type synonyms, as noted in #8234. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8234#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8234: Remove role annotations on type synonyms -------------------------------------+------------------------------------ Reporter: goldfire | Owner: goldfire Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by goldfire): * status: new => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8234#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC