[GHC] #9714: Un-`wire` Integer type
GHC
ghc-devs at haskell.org
Wed Oct 22 14:44:06 UTC 2014
#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
More information about the ghc-tickets
mailing list