> I think now is a good time so I just committed the attached patch. Yay! Thanks, Ludovic.
> Now, we should do something about `cond-expand' and `require-extension'. > For the former, we should probably look at the current value of > `(read-options)', but that requires changing the implementation of > `cond-expand'. For the latter, we can provide a dummy module that > modifies `read-options' and re-export the needed procedures. > > Thoughts? Sorry, what's the context? Is it that those functions read characters independent of the default reader?
