Re: [racket-users] #:kind (list ... ) in defthing and defproc

Ah, sorry! I missed that `content?` was okay. Thanks, Matthew! Robby On Wed, Oct 7, 2020 at 8:40 AM Matthew Flatt wrote: > A recent commit added a contract on `defthing` and `defproc` to enforce > the documented constraint that `#:kind` should be a string. But the > implementation is happy wit

RE: [racket-users] #:kind (list ... ) in defthing and defproc

Thanks Matthew, that’s great.Jos From: Matthew FlattSent: miércoles, 7 de octubre de 2020 15:40To: Jos KootCc: Racket UsersSubject: Re: [racket-users] #:kind (list ... ) in defthing and defproc A recent commit added a contract on `defthing` and `defproc` to enforcethe documented constraint that

Re: [racket-users] #:kind (list ... ) in defthing and defproc

A recent commit added a contract on `defthing` and `defproc` to enforce the documented constraint that `#:kind` should be a string. But the implementation is happy with content in the sense of `content?`. Since it's easy to adjust the contract and documentation to restore this capability, I'll do