[polyml] Assertion `costMin > userGCRatio' failed

2016-01-27 Thread Phil Clayton
I am getting the following assertion failure with Poly/ML 5.6: eg_test: heapsizing.cpp:602: bool HeapSizeParameters::getCostAndSize(POLYUNSIGNED&, double&, bool): Assertion `costMin > userGCRatio' failed. To get some timing stats, I was running a test application repeatedly to take an averag

Re: [polyml] Rounding Mode

2016-01-27 Thread David Matthews
On 27/01/2016 19:02, James Clarke wrote: Going back to the streamNo change, are all the warnings just from assigning streamNo to local unsigned variables leading to a potential truncation? It seems GCC oddly doesn’t enable -Wconversion by default with -Wall (or even -Wextra), so I missed this,

Re: [polyml] Rounding Mode

2016-01-27 Thread James Clarke
Hi David, I’ve tested on amd64, armel and armhf, and all the tests pass. Going back to the streamNo change, are all the warnings just from assigning streamNo to local unsigned variables leading to a potential truncation? It seems GCC oddly doesn’t enable -Wconversion by default with -Wall (or ev

Re: [polyml] Inspecting structures

2016-01-27 Thread David Matthews
On 26/01/2016 23:37, Ramana Kumar wrote: How can I display signatures and structures, by looking up their name in the current environment, in Poly/ML 5.6? The PolyML.NameSpace structure seems to have been reorganised quite a bit, so the code given previously does not work. It was getting unwie