((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[plt-scheme] Contract question

From: David Einstein (deinst at gmail.com)
Date: Fri Jun 13 14:28:15 EDT 2008		 
How do I write a contract for the following

(define (foo a #:optional b) #f)

I would have thought that

(provide/contract
  [foo (->* (any/c) (any/c) false?)]
)

would work, but obviously I'm missing something.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20080613/0fc6bfe0/attachment.html>
Posted on the users mailing list.