On Tue 26 Nov 2019 14:09, Ludovic Courtès <l...@gnu.org> writes: > AFAICS there are two blockers: > > 1. We cannot replace & re-export at the same time.
Following discussion on IRC, this is fixed now, with #:re-export-and-replace. Would be nice if #:re-export could know whether a binding is local or re-exported and DTRT but that isn't the case currently. > 2. ‘raise’ takes exactly one argument, whereas ‘raise-exception’ takes > an additional keyword argument. I think ignoring this one is fine FWIW. > Perhaps also we should provide a mechanism similar to GCC attributes to > mark a procedure as throwing, so that the compiler can DTRT? An interesting option :) FWIW the compiler has to also know how to call the callee... Something to think about. Cheers, Andy