[plt-scheme] contracts in scribble @defproc: must they actually be in the code, too?

From: John Clements (clements at brinckerhoff.org)
Date: Fri Feb 15 17:13:56 EST 2008

Suppose I'm documenting a function that accepts a procedure that's  
supposed to return a string, but the documented function doesn't  
actually have a contract that checks this.  Should the contract  
specified in the scribble documentation then include the contract (->  
string?) or the contract (-> any) for this argument?

John Clements

Posted on the users mailing list.