Changes between Initial Version and Version 1 of Ticket #8638


Ignore:
Timestamp:
Dec 30, 2013 3:14:25 PM (19 months ago)
Author:
hvr
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #8638 – Description

    initial v1  
    1 In the course of a recent [discussion on reddit](http://www.reddit.com/r/haskell/comments/1twtvm/the_problem_with_integer/) it was highlighted, that `integer-gmp` doesn't try to demote `J#` to the more efficient `S#` if even though they would fit.
     1In the course of a recent [[http://www.reddit.com/r/haskell/comments/1twtvm/the_problem_with_integer/|recent reddit discussion]] it was highlighted, that `integer-gmp` doesn't try to demote `J#` result-values to the more efficient `S#` even though they would fit into a machine word.
    22
    3 The attached proof-of-concept patch introduces a "smart" `J#` constructor which constructs a `S#` instead if possible:
     3The attached proof-of-concept patch introduces a "smart" `J#` constructor which constructs a `S#` value instead (if possible):
    44
    55{{{
     
    2222}}}
    2323
    24 And replaces a couple of `J#`-constructions which are likely to produce a `S#`-fitting `Integer`. A `nofib` comparison for vanilla GHC HEAD vs patched GHC HEAD is attached for further discussion.
     24The patch replaces a couple of `J#`-invocations which are likely to produce a `S#`-fitting `Integer`. A `nofib` comparison for vanilla GHC HEAD vs. patched GHC HEAD is attached for further discussion.
    2525