[Chicken-hackers] [PATCH 0/5] List scrutiny special cases

[Evan Hanson]

Hi hackers,

Here are some list-related scrutiny improvements. I started with pair
walking for the scrutinizer's special cases to fix #759 (patch #2),
which made adding special cases for drop & tail easy (#3). The other
special cases (#4, #5) are basically just improving result type accuracy
for make-list, make-vector and reverse, where possible.

The list-copy types.db fix (#1) speaks for itself, I think. Let me know
if anything looks off.

Cheers,

Evan

0001-Fix-list-copy-types.db-entry-to-allow-any-argument-t.patch
Description: Text document

0002-Walk-nested-pair-types-in-special-cased-scrutiny-for.patch
Description: Text document

0003-Add-scrutiny-special-cases-for-split-at-drop-take.patch
Description: Text document

0004-Add-scrutiny-special-cases-for-make-list-make-vector.patch
Description: Text document

0005-Add-scrutiny-special-case-for-reverse-and-specializa.patch
Description: Text document