Summary
Types for srfi-69 egg
Metadata
- Id: 1762f4ad5ddb6dff8d37bc771b35ad4303bb7747
- Trac id: 1795
- Type: defect
- Reporter: zaifir
- Owner:
- Cc:
- Status: new
- Component: extensions
- Estimated difficulty:
- Resolution:
- Priority: minor
- Milestone: someday
- Version: 5.3.0
- Changetime: 2025-07-25 18:30:34 UTC
- Created: 2022-01-04 19:23:33 UTC
- Keywords: types eggs
Description
srfi-69 is a widely-used CHICKEN egg, but it does not provide types--in particular, programs using srfi-69 cannot use hash-table as a type in their own code, but must use the non-specific * type instead. This makes it harder to catch mistakes when using this egg. Please add type information to srfi-69.
Changes and comments
[2022-01-04 20:01:41 UTC] zaifir wrote:
After re-reading the Types wiki page, I realize that srfi-69 *can't* currently provide a hash-table type for public use. Please ignore that part of the ticket.
[2025-07-25 18:30:34 UTC] kon wrote:
(chicken type) has the `hash-table' type as a builtin; see "Structure type"