typeset: correct the form of `code:contract#` and `code:quote`

racket / scribble

Other

199 stars 91 forks source link

typeset: correct the form of `code:contract#` and `code:quote` #398

Closed sorawee closed 9 months ago

sorawee commented 9 months ago

code:contract# only allows one subform in the implementation, but the documentation allows many subforms.
code:quote only allows one subform in the documentation, but the implementation allows many subforms.

This PR corrects both the implementation and the documentation so that the implementation and the documentation agree with each other.

sorawee commented 9 months ago

Conversely, (code:quote a b c) is actually allowed in the implementation, even though the documentation says only one form is allowed. We should make them agree. Should we fix the doc or the implementation?

mfelleisen commented 9 months ago

My preference would be to go with one item per form: (code:quote _datum) and (code:contract# _datum)