20 Sep
2016
20 Sep
'16
3:04 p.m.
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