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 27 Mar 2018 19:00 UTC

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.