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 that, and then this example works again.
Matthew
At Sat, 26 Sep 2020 21:06:20 +0200, Jos Koot wrote:
> 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 '?]
> @defthing[#:kind (list "constant" (hspace 13)) trits (list/c trit? trit?
> trit?) #:value (list F T ?)]
> @defthing[#:kind (list "constant" (hspace 13)) in-trits sequence? #:value
> (in-list trits)]
> @defproc[#:kind (list "predicate" (hspace 12)) (trit? (obj any/c))
> boolean?]
> @defproc[#:kind (list "predicate" (hspace 12)) (F? (obj any/c)) boolean?]
> @defproc[#:kind (list "predicate" (hspace 12)) (T? (obj any/c)) boolean?]
> @defproc[#:kind (list "predicate" (hspace 12)) (?? (obj any/c))
> boolean?])]{}
>
> I use hspace for alignment of the kinds.
>
> But in version 7.8.0.10--2020-09-25(515012525c/a) [3m] I get:
>
> . . C:\Program Files\Racket-7.8.0.10\collects\syntax\contract.rkt:101:21:
> defthing: contract violation
> expected: (or/c string? #f)
> given: ("constant true/off/low" #(struct:element hspace (" ")))
> in: (or/c string? #f)
> macro argument contract on #:kind argument
> contract from:
> (lib scribble/private/manual-proc.rkt)
> blaming: E:\circuits\circuit-manual.scrbl
> (assuming the contract is correct)
> at: E:\circuits\circuit-manual.scrbl:416.18
>
> Because I don't know whether or not this is a known issue, I post it on
> this list.
> If this is a known issue or an intentional change, then ignore this email,
> please.
> If not I can post it as a racket issue.
> Let me know, please.
> Thanks, Jos
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/CAL6KNi3P251G%2BBMQqDbo2qt6K22Gw
> _OOgjjnHDboLLuC3qKrGg%40mail.gmail.com.
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/20201007074018.1a7%40sirmail.smtps.cs.utah.edu.
