[Chicken-hackers] [PATCH 1/2] Add distinct boolean subtypes for true and false

[Evan Hanson]

Hi all, here are two patches.

The first is for #847 and implements option #7 from Peter's list of
possible fixes in that ticket, adding support for distinct boolean types
to the scrutinizer. This turned out not to take all that much code,
since they're treated very similarly to the number > fixnum/float types
it already handled. Along with this are some types.db changes to take
advantage of the greater precision, primarily in the result types of
procedures that return some value or #f (but never #t), but also for
some argument types (like that of `##sys#foreign-pointer-argument` as
described in the ticket); hopefully I've gotten them all right.

https://bugs.call-cc.org/ticket/847

The second improves the types.db entries for `pointer-tag`,
`string-any`, `string-every`, `make-pathname` and `mutex-lock!`.

Cheers,

Evan

0001-Add-distinct-boolean-subtypes-for-true-and-false.patch
Description: Text document

0002-types.db-signature-improvements.patch
Description: Text document