[mercury-users] string_stream impl, re: redirecting output to streams

[Peter Hawkins]

Hi...
Ian MacLarty wrote:

>
> 4.  implement other useful streams such as string buffers, sockets, etc.
>
On this note I feel there is a big need for binary string support 
(strings with null bytes). It's difficult to do meaningful binary string 
buffer operations with the current (null-terminated) string library. I 
hacked up a quick and dirty binary string library which uses strings 
with an explicit length, but I think the right thing to do is to change 
the standard string library to operate this way. Any objections, in 
principle?

Cheers,
Peter

> Ian.
>
> -------------------------------------------------------------------------- 
>
> 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
> -------------------------------------------------------------------------- 
>


--------------------------------------------------------------------------
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
--------------------------------------------------------------------------