On 22-09-2022 01:17, sidhu1f wrote:
> You are both correct.
> 
> My motivation was to use the assert macro from guile-libs
> (www.nongnu.org/guile-lib/doc/ref/debugging.assert/).

Do you know that Guile already has an 'assert 'macro (see: (guile)rnrs 
base)?  It is less capable though (no ?r-exp), so maybe not suitable for 
your purposes.

> In assert.scm
> (version 0.2.7), the error procedure invocation on line 62 uses "~a".
> So should this invocation be replaced by scm-error instead?

It seems so to me, you could give it a try.

Greetings,
Maxime.