[racket] 80-bit precision in Racket

From: Grant Rettke (grettke at acm.org)
Date: Thu Nov 15 11:48:16 EST 2012

On Thu, Nov 15, 2012 at 10:05 AM, Neil Toronto <neil.toronto at gmail.com> wrote:
> On 11/14/2012 07:38 PM, Matthew Flatt wrote:
>>
>> I've adjusted the bytecode compiler so that it can deal with more local
>> types. To exercise the changes, fixnum results are tracked like flonum
>> results, although the JIT doesn't currently take advantage of fixnum
>> annotations.
>>
>> Now, it should be easy to add
>>
>>   #define SCHEME_LOCAL_TYPE_EXTNUM   3
>>
>> and fill in the extnum consumers and producers in
>> wants_local_type_arguments() and produces_local_type(). Then the JIT
>> changes should go the way you expect.
>>
>> I plan to clean up the JIT a little bit to make it easier to add extnum
>> unboxing, but that's a smaller set of changes. Let me know when you
>> start working, and I'll try to not change anything that would make it
>> difficult to merge. I imagine that we'll be happy to merge your changes
>> into the distribution.
>
>
> This is pretty awesome.

Sorry maybe a dumb question but does this add the ability for the VM
to support arbitrarily sized numbers?

Posted on the users mailing list.