[mercury-users] ISO-8859-x characters not recognized by MR_GETCH / mercury_getc etc.

[Zoltan Somogyi]

On 15-Sep-2004, Nick Rudnick <joerg.rudnick at t-online.de> wrote:
> In fact, my question should be of some interest, as 
> io:readline_as_string/1 throws an error every time the input contains an 
> ISO-8859-1 character (like äöüÄÜÖß).

I don't know of any inherent reason why the Mercury standard library
can't be made to handle ISO-8859-1 characters. We simply aren't set up
to test character sets other than plain ASCII, and I have never had
to play around with locales before.

I will have a look at the problem early next week.

In the future, cc any email you send to mercury-bugs to me as well.
My records don't show any email from you to mercury-bugs in june.

Zoltan Somogyi <zs at cs.mu.OZ.AU> http://www.cs.mu.oz.au/~zs/
Department of Computer Science and Software Engineering, Univ. of Melbourne
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------