Dear David,
thanks for your answer;
On Wed, May 22, 2013 at 10:01 AM, David Matthews <David.Matthews at prolingua.co.uk> wrote:
Hi Jesus,
On 21/05/2013 19:31, Jesus Aransay wrote:
this is my first mail to the list, so first I wanted to say hello and kindly ask you for forgiveness if I break any conventions that usually apply in the list.
Welcome to the list. It has a very low posting rate so we don't need to worry about conventions.
I did not add a subject to my mail (my mail client neither warned me), so I think this is the first list convention I unintentionally broke, sorry for that.
I would guess that you're using PolyML.timing for the timing. I discovered a bug in the way it worked on Windows and fixed it in SVN. Perhaps the easiest way to work-around it is to use the functions from the Timer structure (startCPUTimer and checkCPUTimes) and then wrap the function you want to time in calls to them. They should work correctly on both Windows and Linux. If there are any problems let me know.
You were right, we were using PolyML.timing. We now applied the Timer structure, and we realized that, at least in some examples, the times we obtain with PolyML.timing are exactly the times provided by the Timer functions startCPUTimer and checkCPUTimes multiplied by 10. We will stick to the Timer structure timings.
Thanks for your quick reply and support,
Jesus
David
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml