On 20/09/16 14:16, David Matthews wrote:
>>
>> Instead of creating a new singleton string each time, it would refer to
>> a vector of 256 pre-allocated values.
> 
> That seems a very good idea.  I've implemented it.

I've tried to compile this version d7b9234f2793 using configure
--enable-intinf-as-int, but it fails towards the end as follows:

./polyimport --intIsIntInf polytemp.txt -I . < ./exportPoly.sml
polyimport: pexport.cpp:728: bool PImport::DoImport(): Assertion `ch ==
'\n'' failed.
/bin/bash: line 1:   515 Aborted                 (core dumped)
./polyimport --intIsIntInf


        Makarius

_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to