David,

After using the patch in my last post to enable me to build poly, ProofPower 
now builds
and behaves as I would expect it to when compiled without —enable-intinf-as-int.
When I compile with —enable-intinf-as-int I get a problem because the type of
PolyML.PrettyBlock has a FixedInt in it where it had just in in version 5.6.

> PolyML.PrettyBlock;
val it = fn:
   FixedInt.int * bool * PolyML.context list * PolyML.pretty list ->
     PolyML.pretty

Is that intended? I can’t understand why it has happening because the datatype
declaration in PRETTYSIG.sml uses int. If this is intended then I can work round
it, but it would be nice not to have to.

Regards,

Rob.

> On 20 Sep 2016, at 15:50, Rob Arthan <r...@lemma-one.com> wrote:
> 
> 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

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

Reply via email to