Re: [polyml] Update to code-generator and run-time system interface

2016-10-18 Thread David Matthews
On 18/10/2016 13:43, Makarius wrote: On 17/10/16 23:58, David Matthews wrote: Although the lack of garbage collection of code would mean that repeatedly defining the same function would be a memory leak I would be surprised if it was a serious problem. Is it likely that one would repeatedly re

Re: [polyml] Update to code-generator and run-time system interface

2016-10-18 Thread Makarius
On 17/10/16 23:58, David Matthews wrote: > > Although the lack of garbage collection of code would mean that > repeatedly defining the same function would be a memory leak I would be > surprised if it was a serious problem. Is it likely that one would > repeatedly redefine the same function withi