Opened 3 years ago

Closed 3 years ago

#1733 closed defect (fixed)

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

Reported by: Diego Owned by:
Priority: minor Milestone: 5.3
Component: core libraries Version: 5.2.0
Keywords: Cc:
Estimated difficulty: trivial


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

 (#(procedure #:clean #:enforce)!
  (char (or false (procedure (input-port) . *))) undefined))

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

 (#(procedure #:clean #:enforce)!
  ((or char symbol) (or false (procedure (input-port) . *))) undefined))

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

Change History (1)

comment:1 Changed 3 years ago by Kooda

Resolution: fixed
Status: newclosed

Fixed in 927837d6a01445e01d2ec074c3d46c324e69d4ba

Note: See TracTickets for help on using tickets.