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