Oz and Mozart Users Mailing List

Re: 0 in a ByteString


From: Andreas Franke (afranke@ags.uni-sb.de)
Date: Tue May 27 2003 - 19:30:21 CEST


> 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@mozart-oz.org
and administriva mail to users-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.
Please send bug reports to bugs@mozart-oz.org.



This archive was generated by hypermail 2b29.