On Tuesday, 14-December-2004 at 20:24:42 you wrote, >I've worked out two ways to chop-off the last character of a string. > >Method One > >>> mystring: "123456" >== "123456" >>> mystring: head remove back tail mystring >== "12345"
Note that REMOVE works directly on the string, so re-defining mystring and HEAD isn't needed there... >> mystring: "123456" == "123456" >> remove back tail mystring == "" >> mystring == "12345" And a fun alternative... >> mystring: "123456" == "123456" >> mystring: head reverse remove head reverse mystring == "12345" :-) -- Carl Read. -- No virus found in this outgoing message. Checked by AVG Anti-Virus. Version: 7.0.296 / Virus Database: 265.5.3 - Release Date: 12/14/04 -- To unsubscribe from the list, just send an email to rebol-request at rebol.com with unsubscribe as the subject.
