Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 26 Mar 2018 10:23 UTC
Re: Is there an index of symbols defined by the various SRFI's? John Cowan 26 Mar 2018 15:36 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 26 Mar 2018 15:40 UTC
Re: Is there an index of symbols defined by the various SRFI's? John Cowan 26 Mar 2018 15:44 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 26 Mar 2018 16:01 UTC
Re: Is there an index of symbols defined by the various SRFI's? Shiro Kawai 26 Mar 2018 17:31 UTC
Re: Is there an index of symbols defined by the various SRFI's? Per Bothner 26 Mar 2018 17:55 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 26 Mar 2018 19:33 UTC
Re: Is there an index of symbols defined by the various SRFI's? Shiro Kawai 26 Mar 2018 19:44 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 26 Mar 2018 19:59 UTC
Re: Is there an index of symbols defined by the various SRFI's? Shiro Kawai 26 Mar 2018 21:33 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 26 Mar 2018 21:42 UTC
Re: Is there an index of symbols defined by the various SRFI's? Shiro Kawai 26 Mar 2018 21:45 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 27 Mar 2018 18:56 UTC
Re: Is there an index of symbols defined by the various SRFI's? Arthur A. Gleckler 26 Mar 2018 18:28 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 26 Mar 2018 19:58 UTC
Re: Is there an index of symbols defined by the various SRFI's? Arthur A. Gleckler 26 Mar 2018 20:14 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 26 Mar 2018 21:37 UTC
Re: Is there an index of symbols defined by the various SRFI's? Arthur A. Gleckler 26 Mar 2018 22:33 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 27 Mar 2018 16:49 UTC
Re: Is there an index of symbols defined by the various SRFI's? Arthur A. Gleckler 27 Mar 2018 16:53 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 27 Mar 2018 17:06 UTC
Re: Is there an index of symbols defined by the various SRFI's? Alex Shinn 27 Mar 2018 18:12 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 27 Mar 2018 19:00 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 28 Mar 2018 08:31 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 28 Mar 2018 08:48 UTC
Re: Is there an index of symbols defined by the various SRFI's? Alex Shinn 28 Mar 2018 11:28 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 28 Mar 2018 11:34 UTC
Re: Is there an index of symbols defined by the various SRFI's? Alex Shinn 29 Mar 2018 09:57 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 28 Mar 2018 13:42 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 29 Mar 2018 17:00 UTC
Re: Is there an index of symbols defined by the various SRFI's? Arthur A. Gleckler 29 Mar 2018 18:47 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 29 Mar 2018 18:59 UTC
Re: Is there an index of symbols defined by the various SRFI's? Arthur A. Gleckler 29 Mar 2018 19:39 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 29 Mar 2018 19:47 UTC
Re: Is there an index of symbols defined by the various SRFI's? Arthur A. Gleckler 29 Mar 2018 19:50 UTC
Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 30 Mar 2018 09:57 UTC
Re: Is there an index of symbols defined by the various SRFI's? Arthur A. Gleckler 31 Mar 2018 02:27 UTC

Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 28 Mar 2018 08:31 UTC

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.