On 08/09/2015 21:35, Makarius wrote:
On Mon, 7 Sep 2015, David Matthews wrote:
The experimental code is in the Windows-Unicode branch and requires
./configure CPPFLAGS="-DUNICODE -D_UNICODE"
to build the Unicode version. The resulting poly takes a --codepage
option to set the code-page to be used for conversion. Probably "utf8"
is the most useful argument to give here.
I've tried that, and updated the current polyml test component for
Isabelle accordingly -- see repository version
http://isabelle.in.tum.de/repos/isabelle/rev/4010e1559a24. It also
includes x86_64-windows now, but that is not used by default.
Accessing the file-system with Unicode works, but there is a small
problem with OS.Path.toString: it raises exception InvalidArc for
Unicode arcs. For example:
OS.Path.toString {isAbs = false, vol = "", arcs = ["รค"]}
I've fixed that. The Windows-Unicode branch has now been merged into
master. The -DUNICODE -D_UNICODE options are automatically included in
the Windows build. There isn't currently a programmatic way to change
the code-page but I may add a function to do that.
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
