Timothy Sample writes: > Maxim Cournoyer writes: > >> Our R7RS define-library syntax, from (ice-9 r7rs-library) does not >> support renaming bindings to export, via 'rename' directives. > > I appreciate your R7RS debugging effort. Thanks! Actions speak louder than words, so here’s a patch! The ‘define-library’ syntax uses the R6RS ‘library’ syntax under the hood. TIL that R6RS and R7RS have different syntax for 'rename'. In R6RS, you write: (export (rename (internal external))) while in R7RS, it’s: (export (rename internal external)) My patch adds a conversion step to deal with this difference.