You can also convert a VirtualString directly to an Atom via VirtualString.toAtom.
On Mon, Jan 3, 2011 at 9:35 PM, Lyle Kopnicky <[email protected]> wrote: > Yes, that's correct. Strings are represented as lists of characters, and > characters are just small integers. It's unfortunate that strings don't > Browse more readably. You can call StringToAtom on it to see something more > readable. > > On Mon, Jan 3, 2011 at 3:20 PM, Khadija EL MAHRSI < > [email protected]> wrote: > >> Hello, >> I've been looking at the documentation and trying small examples to do the >> following but to no avail. >> I have a virtual string which contains a ( as one of its characters and I >> would like to extract the part which comes before the (. >> I've tried to transform the virtual string into a string and use >> String.token but it's not working. >> The result I get when I browse the string is something like [104 105 40 >> 104 97] which, I suspect, is not correct. Maybe I'm doing something wrong? >> Can someone tell me how to achive this? >> >> Thanks >> >> >> _________________________________________________________________________________ >> mozart-users mailing list >> [email protected] >> http://www.mozart-oz.org/mailman/listinfo/mozart-users >> > >
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
