[m-users.] Unicode character ordering

Volker Wysk post at volker-wysk.de
Fri Oct 11 23:32:23 AEDT 2019


Hi

The unicode support of mercury looks like it's incomplete... In
particular, I'm looking for a unicode character ordering function. The
standard ordering does a bad job with unicode characters.

For Haskell, there is the RFC5051 library, which defines a unicode char
ordering. It works pretty well.

Perhaps I could port it from Haskell to Mercury...

Cheers,
Volker



More information about the users mailing list