[plt-dev] provide/contract and provide all-defined-out

I'd like something like this to work:

#lang scheme

(define a 1)
(define b 2)

(provide/contract
 [a number?])
(provide (all-defined-out))

Why?

I often start off a module with a poor idea of the right interface and
contracts, so I'd like to gradually add them before pulling out the
all-defined-out.

I'm willing to use something other than "all-defined-out", maybe
"otherwise-defined-out"?

I haven't fully groked the provide macro transformers and what they
can do. Before I dive in, can anyone say if this is likely to be
possible? Is it desirable to anyone but me?

Jay

-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

"The glory of God is Intelligence" - D&C 93