[racket] string-trim : an implementation & a question

On my simple system:
cpu time: 32 real time: 32 gc time: 0
cpu time: 1201 real time: 1201 gc time: 15
Jos 

> -----Original Message-----
> From: users-bounces at racket-lang.org 
> [mailto:users-bounces at racket-lang.org] On Behalf Of Robby Findler
> Sent: 03 April 2011 14:53
> To: Jon Zeppieri
> Cc: Racket Users
> Subject: Re: [racket] string-trim : an implementation & a question
> 
> Very nice.
> 
> One other thought I had: testing this one actually seems pretty
> amenable to enumeration, since there really are only a few characters
> that are treated differently; one could set up a function that mapped
> a natural number to a string by treating the different characters as
> digits and then translating the number into a base
> however-many-characters-you-have number and reading off the string
> from there.
> 
> How do the timing turn out now? Still the same, roughly?
> 
> Robby