On Tue, Mar 27, 2018 at 9:12 PM, Alex Shinn <xxxxxx@gmail.com> wrote:
> Note for any SRFI with an R7RS implementation you can output the exports:
>
> $ chibi-scheme -mchibi.modules -p"(module-exports (find-module '(srfi 1)))"
>
> There are also some type inference tools to help bootstrap signatures.

I'll try to extract all signatures from Chibi's SRFI implementations next.

However about the signatures, I think it's better to not automatically
fill them, as I think this information should be entered by humans in
order to be sure that the signature is actually in-line with the
specification document.  (My feeling is that many implementors have
choosen to "augment" their implementation, or if they didn't perhaps
their versions are more "generic" than the actual SRFI requires.)

Ciprian.