[Chicken-hackers] \PATCH/ Fix a few typos and renames in types.db and add a forgotten export of srfi-4

[Kooda]

Hello!

Here are a few patches that add two useful scripts and fixes the
problems found with them.

The first script is a new test that walks the types.db file and find
symbols that don’t match their type signature. It’s very very simple for
now, it only checks the type of the symbol and doesn’t try to check
arguments or return values of procedures.

The second script compares the export list of modules against a
reference file that can be generated from the documentation pages.

The third patch contains the actual fixes of the mistakes found with
these scripts.

0001-Add-a-types.db-consistency-check-test.patch
Description: Text Data

0002-Add-a-little-script-to-check-the-consistency-between.patch
Description: Text Data

0003-Fix-a-few-typos-and-renames-in-types.db-and-add-a-fo.patch
Description: Text Data