[plt-scheme] Contract question

David Einstein deinst at gmail.com
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://list.cs.brown.edu/pipermail/plt-scheme/attachments/20080613/0fc6bfe0/attachment.html


More information about the plt-scheme mailing list