Changes between Initial Version and Version 1 of Ticket #8638


Ignore:
Timestamp:
Dec 30, 2013 3:14:25 PM (16 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