[racket] 80-bit precision in Racket

From: Neil Toronto (neil.toronto at gmail.com)
Date: Thu Nov 15 11:05:47 EST 2012

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
> 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.

Neil ⊥

Posted on the users mailing list.