<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <title></title> </head> <body> 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 äöüÄÜÖß). Trying to write a patch for this I found out I need some very little, stupid support for dealing with mmake, but maybe this is even a simple configuration problem. Any comments are appreciated, Nick %%%%%%%% Jul 27 2004: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Working with version 0.11 (on Debian 3.0 Woody), I cannot use ISO-8859-x characters. Is this a configuration issue?? I would like to find out whether anybody else encountered the same problem or, better there is somebody to help me in finding a workaround I stopped my efforts in trying this after getting in trouble with the reaction of mmake to changed timestamps of the C files I modified to track the problem. Any advice would be heartily welcome <img src="cid:part1.02090208.01060209@uni-essen.de" alt=":)" class="moz-txt-smily" height="19" width="19" align="middle"> , as I try to include Mercury into my thesis, what is hardly possible without ISO-8859-x characters. Thank you in advance, Nick Some more detailed findings sent to mercury-bugs in Jun 16 2004: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ISO-8859-x characters not recognized by MR_GETCH / mercury_getc etc. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - I was quite surprised when finding out mercury throws an error when doing text i/o with chars above 0x7F which are common in most languages besides English. As this is not the case with POSIX, this leads me to the question whether this limitation is essential to mercury in any way. In other words - is there a patch possible?? If yes, I believe lots of mercury users around the world would be quite thankful to you if you could add this as an installation option, as this makes normal text i/o in foreign languages WAY difficult... <img src="cid:part2.02020000.00040805@uni-essen.de" alt=";-)" class="moz-txt-smily" height="19" width="19" align="middle"> </body> </html>