0 in a ByteString

Andreas Franke afranke at ags.uni-sb.de
Tue May 27 19:30:21 CEST 2003


> I would like to put the byte 0 (00000000) in a ByteString

This works: {ByteString.make "hello"#[0]#"world"} 

Cheers,
Andreas

-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.
Please send bug reports to bugs at mozart-oz.org.





More information about the mozart-users mailing list