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 = ["รค"]}
The above changeset 4010e1559a24 avoids that slightly odd SML Basis
Library operation, so there is no imminent problem.
I've been wondering whether to make the Unicode version the default rather
than ANSI. There's also the question of how best to specify the codepage.
An explicit option is OK for our Isabelle setup.
Makarius_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
