[GHC] #9714: Un-`wire` Integer type
#9714: Un-`wire` Integer type -------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: Keywords: Integer | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Moderate (less | Type of failure: than a day) | None/Unknown Blocked By: | Test Case: Related Tickets: #9281 | Blocking: | Differential Revisions: Phab:351 -------------------------------------+------------------------------------- `Integer` is currently a wired-in type for `integer-gmp`. This requires replicating its inner structure in `TysWiredIn.lhs`, which makes it much harder to change `Integer` to a more complex representation (like e.g. for #9281) In order to reduce the redundancy (due to wired-in type mirroring) and simplify the code, as [http://thread.gmane.org/gmane.comp.lang.haskell.ghc.devel/5823/ suggested by Simon], `Integer` should no longer be a `wired-in` type but rather become a `known-key`-entity. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9714> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9714: Un-`wire` Integer type -------------------------------------+------------------------------------- Reporter: hvr | Owner: hvr Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: Resolution: | Keywords: Integer Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Moderate (less Type of failure: | than a day) None/Unknown | Blocked By: Test Case: | Related Tickets: #9281 Blocking: | Differential Revisions: Phab:351 | -------------------------------------+------------------------------------- Changes (by hvr): * owner: => hvr -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9714#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9714: Un-`wire` Integer type -------------------------------------+------------------------------------- Reporter: hvr | Owner: hvr Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: Resolution: | Keywords: Integer Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Moderate (less Type of failure: | than a day) None/Unknown | Blocked By: Test Case: | Related Tickets: #9281 Blocking: | Differential Revisions: Phab:D351 | -------------------------------------+------------------------------------- Changes (by hvr): * differential: Phab:351 => Phab:D351 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9714#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9714: Un-`wire` Integer type -------------------------------------+------------------------------------- Reporter: hvr | Owner: hvr Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: Resolution: | Keywords: Integer Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Moderate (less Type of failure: | than a day) None/Unknown | Blocked By: Test Case: | Related Tickets: #9281 Blocking: | Differential Revisions: Phab:D351 | -------------------------------------+------------------------------------- Comment (by Herbert Valerio Riedel <hvr@…>): In [changeset:"0e1f0f7d1682d77c5dbb1d2b36f57037113cf7b4/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="0e1f0f7d1682d77c5dbb1d2b36f57037113cf7b4" Un-wire `Integer` type (re #9714) Integer is currently a wired-in type for integer-gmp. This requires replicating its inner structure in `TysWiredIn`, which makes it much harder to change Integer to a more complex representation (as e.g. needed for implementing #9281) This commit stops `Integer` being a wired-in type, and makes it known-key type instead, thereby simplifying code notably. Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D351 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9714#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9714: Un-`wire` Integer type -------------------------------------+------------------------------------- Reporter: hvr | Owner: hvr Type: task | Status: closed Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: Resolution: fixed | Keywords: Integer Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Moderate (less Type of failure: | than a day) None/Unknown | Blocked By: Test Case: | Related Tickets: #9281 Blocking: | Differential Revisions: Phab:D351 | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9714#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC