From: Matthew Flatt (mflatt at cs.utah.edu) Date: Mon Apr 8 16:58:50 EDT 2013 |
|
I've pushed changes to the JIT to add an ARM back-end, which is based on Paulo César Pereira de Andrade's very nice implementation of GNU lightning for ARM. The generated code uses Thumb and VFP instructions when available, and floating-point arithmetic is unboxed as on x86. Places should work, although they're not currently enabled by default. I have not yet added support for futures, and that will probably wait until someone has a use for them.
Posted on the dev mailing list. |
|