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

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

The following works well in DrRacket, version 7.8 [3m] #lang scribble/manual @deftogether[ (@defthing[#:kind "constant false/on/high" F trit? #:value '0] @defthing[#:kind (list "constant true/off/low" (hspace 1)) T trit? #:value '1] @defthing[#:kind "constant indeterminate" ? trit? #:value '?]