Thanks a lot this really helped. 2011/1/4 Lyle Kopnicky <[email protected]>
> 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 >
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
