[plt-scheme] contract question

From: Jos Koot (jos.koot at telefonica.net)
Date: Wed Feb 6 07:37:53 EST 2008

Finally I decided to try contracts. I tried:

#| require one or two numbers
   promise to return a number if two numbers are given
   promise void if one number is given |#

#lang scheme

   (-> number? number? number?)
   (-> number? void?))))

(define (example a (b #f))
 (if b (+ a b) (void)))

This compiles, but it wont run:

Welcome to DrScheme, version [3m].
Language: Module custom.
or/c: two arguments, (-> number? void?) and (-> number? number? number?), might both match #<procedure:example>

Why? What is wrong in my contract? May be I am wanting an impossible contract?
or/c repeats exactly what I want, but does not accept it.
I think I am missing something fundamental, but I can't find an answer in the docs.
Thanks, Jos Koot
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20080206/3ab82bec/attachment.html>

Posted on the users mailing list.