Re: [polyml] Foreign calls not working after loadState in new session

2016-01-19 Thread David Matthews
On 19/01/2016 19:48, Phil Clayton wrote: Thanks for the quick patch - that fixes it. Also, I modified my version with diagnostic messages and now see the expected messages from malloc. Thanks for testing it. Now merged into master. David ___

Re: [polyml] Segmentation Fault When Porting

2016-01-19 Thread David Matthews
James, I've committed a fix that solves the problem I found. Poly/ML now runs all the regression tests and will rebuild the compiler. I was going to try it in jessie (stable) but installing that is proving more difficult than I'd expected. I've added configure and elfexport entries for

[polyml] Foreign calls not working after loadState in new session

2016-01-19 Thread Phil Clayton
After loading an existing state in a fresh session, I find that previously defined calls to C functions (saved in the state) crash the session if (and only if) the foreign call was called in an earlier session before the state was saved. I can supply an example if necessary. After

Re: [polyml] Foreign calls not working after loadState in new session

2016-01-19 Thread Phil Clayton
David, On 19/01/2016 19:14, David Matthews wrote: Phil, On 19/01/2016 18:38, Phil Clayton wrote: After loading an existing state in a fresh session, I find that previously defined calls to C functions (saved in the state) crash the session if (and only if) the foreign call was called in an