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 <[email protected]> Assistant Professor / Brigham Young University http://teammccarthy.org/jay "The glory of God is Intelligence" - D&C 93 _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
