David, Makarius,

I think this patch fixes it:

diff --git a/libpolyml/pexport.cpp b/libpolyml/pexport.cpp
index b03b1da..a9ebd2e 100644
--- a/libpolyml/pexport.cpp
+++ b/libpolyml/pexport.cpp
@@ -158,7 +158,7 @@ void PExport::printObject(PolyObject *p)
             for (unsigned i = 0; i < ps->length; i++)
             {
                 char ch = ps->chars[i];
-                fprintf(exportFile, "%02x", ch);
+                fprintf(exportFile, "%02x", ch & 0xff);
             }
         }
         else

Regards,

Rob.

> On 20 Sep 2016, at 15:04, Makarius <makar...@sketis.net> wrote:
> 
> 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

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

Reply via email to