> but *write it down*. How are we to know, as reader's of your contract and > purpose statements, that we have to provide non-empty strings?
er, can you make a new EmptyString type and use that in the contract part of the comment? ____________________ Racket Users list: http://lists.racket-lang.org/users
