29 Jun
2006
29 Jun
'06
2:20 p.m.
Hello David,
i have created a patch file for my modifications to get polyml on intel macs running.
To be sure it works: How can do a testrun with poly to test at least some basic functions for working correctly (As written in the other mail i have compiled the Isabelle Libs but i dont know if this is done with poly and so enough information to know poly is working).
For the reals.c Implementation i have used some code from MLtons Implementation of the IEEEEreals.
http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/runtime/basis/ IEEEReal.c?rev=1959&view=markup Im not sure if copying is allowed and if so what comments have to be inserted there.
Thanks for helping me.
Martin