[mercury-users] io__read_line_as_string predicate problem

[Ralph Becket]

Michael Day, Monday, 24 March 2003:
> 
> > The solution is to (a) write a predicate that reads in UTF characters
> > from the input stream and (b) store the results in an array(char) rather
> > than a string.
> 
> Presumably read in *UNICODE* characters by applying UTF-8 decoding to the
> input stream and store the results as an array/list of a unicode character
> type rather than just char.

Yes, that's what I meant.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------