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
