Summary

set-sharp-read-syntax! has an incorrect type annotation in types.db

Metadata

• Id: ca65d5946b4419fa6569279ef8f882b3a7f94de6
• Trac id: 1733
• Type: defect
• Reporter: dieggsy
• Owner:
• Cc:
• Status: closed
• Component: core libraries
• Estimated difficulty: trivial
• Resolution: fixed
• Priority: minor
• Milestone: 5.3
• Version: 5.2.0
• Changetime: 2021-03-13 15:15:53 UTC
• Created: 2021-03-13 03:09:40 UTC
• Keywords:

Description

In types.db of chicken-core, `set-sharp-read-syntax!` has the following type declaration:

 (chicken.read-syntax#set-sharp-read-syntax!
  (#(procedure #:clean #:enforce) chicken.read-syntax#set-sharp-read-syntax!
   (char (or false (procedure (input-port) . *))) undefined))

But per the|documentation] (and actual functionality), that should instead be be:

 (chicken.read-syntax#set-sharp-read-syntax!
  (#(procedure #:clean #:enforce) chicken.read-syntax#set-sharp-read-syntax!
   ((or char symbol) (or false (procedure (input-port) . *))) undefined))

The incorrect type declaration leads to compilation warnings even on correct usage.

Changes and comments

[2021-03-13 15:15:53 UTC] kooda changed status from new to closed

[2021-03-13 15:15:53 UTC] kooda set resolution to fixed

[2021-03-13 15:15:53 UTC] kooda wrote:

Fixed in 927837d6a01445e01d2ec074c3d46c324e69d4ba