[plt-scheme] scribble: defform* can't define multiple id's?

From: John Clements (clements at brinckerhoff.org)
Date: Fri Feb 15 19:20:14 EST 2008

The defform* form is specifically documented to require that all of  
its forms use the same id, unlike defproc*.  Is there a reason why  
this has to be the case?

For instance, from handin-server.scrbl, I'd like to write this:

@defform*[((!integer id)
            (!integer* expr))]{

   Similar to @scheme[!procedure] and @scheme[!procedure*] for  

... sure, I can break this up into two defforms, but it's harder to  
read. Is there some reason not to allow the same thing that defproc*  

John Clements

Posted on the users mailing list.