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

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Mon Mar 22 15:15:26 EDT 2010

I'd like something like this to work:

#lang scheme

(define a 1)
(define b 2)

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


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

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

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 McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University

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

Posted on the dev mailing list.