Ciprian Dorin Craciun <xxxxxx@gmail.com> writes: | As stated in previous emails, although I agree that "something" is better than "nothing", and given the fact that you've managed to pull this is extraordinary, in the end the extracted information is not "complete" nor "reliable"... I view it as a nice way to bootstrap a database/file that will be audited by editors and other volunteers before being published, and thus is more reliable. I want to make sure that I understand your approach: Once you rewrite the SRFI document into a better format, you're still not planning to rely on it as a source of truth for signatures, etc., are you? My impression was that you didn't think that that was doable, and that we should rely on an external file for that purpose. That would be fine by me. | My "end-goal" (but long-term) is to have for Scheme something similar to Erlang's `dyalizer`: https://learnyousomeerlang.com/dialyzer That would be great.