[plt-scheme] Problem with contract in module

From: Woodhouse Gregory (gregory.woodhouse at gmail.com)
Date: Sat Aug 16 17:19:34 EDT 2008

This code will not compile

#lang scheme

(require scheme/date)

(provide log-to-console)

(provide/contract
  [log-to-console (-> logger?
                      (one-of/c 'debug 'info 'warning 'error 'fatal)
                      procedure?)])
(define (log-to-console logger level)

...)


The error is

module: identifier already provided (as a different binding) in: log- 
to-console

On the other hand, if I comment out the contract, it works as  
expected. Am I using the contract facility correctly?


"In the human mind, one-sidedness has
always been the rule and many-sidedness the
  exception. Hence, even in revolutions of
thought, one part of the truth usually sets while
  another rises."
--John Stuart Mill

http://www.gwoodhouse.com
http://GregWoodhouse.ImageKind.com





-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20080816/601b5d89/attachment.html>

Posted on the users mailing list.