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

2016-09-19 Thread Makarius
On 16/09/16 14:24, David Matthews wrote: > I have now pushed a major update to git master which is the result of > work going back to the beginning of the year. It covers a number of > areas but largely the code-generator and the run-time system interface. This all sounds very interesting and amb

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

2016-09-19 Thread Makarius
On 16/09/16 14:24, David Matthews wrote: > > The representation of strings has been simplified. Previously, single > character strings were represented by the character itself as a tagged > value. This was largely a relic of SML 90 which didn't have a separate > char type. That has been removed