[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Evan Hanson
Subject: [Chicken-hackers] [PATCH 0/5] List scrutiny special cases
Date: Tue, 9 Sep 2014 02:57:17 -0700
User-agent: OpenSMTPD enqueuer (Demoosh)

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.



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

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

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

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

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]