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