[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


The thing that distinguishes PROVIDE and REQUIRE from their obvious
implementations is that they have declarative rather than operative
semantics. Program walkers, DEFSYSTEM constructors as well as compilers
might be expected to pay special heed to PROVIDE and REQUIRE, but not pay
any special heed to direct manipulation of *MODULES*.

We should be careful in the standard to distinguish between what things
mean and how they may be implemented, but doubly so in the case of macros
and special forms that may get processed at times other than EVAL-time.