On Tue, Mar 27, 2018 at 10:00 PM, Ciprian Dorin Craciun
<xxxxxx@gmail.com> wrote:
> 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.

I've tried to resolve all SRFI's from 0 to 200 via the code suggested
by Alex, and found a few "discrepancies" when compared with the
Chibi's modules page at:

  http://synthcode.com/scheme/chibi/#h2_StandardModules

Namely:
* SRFI 14 is not resolved by the code;
* SRFI 18 is not resolved by complaining that threading was not built
in;  (perhaps expected;)
* SRFI 22, 23 and 41, just like 14 are missing;
* any SRFI above 100 are missing;

The code used is:

  https://github.com/cipriancraciun/scheme-srfi-index/blob/master/chibi.ss

And the output is:

  (0 1 2 6 8 9 11 16 26 27 33 38 39 46 55 69 95 98 99)

Ciprian.