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 <rda at 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); } } elseRegards,
Rob.
On 20 Sep 2016, at 15:04, Makarius <makarius at 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 at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml