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

Reply via email to