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

[Chicken Trac]

#1733: set-sharp-read-syntax! has an incorrect type annotation in types.db
--------------------------------+----------------------------
            Reporter:  dieggsy  |       Type:  defect
              Status:  new      |   Priority:  minor
           Milestone:  5.3      |  Component:  core libraries
             Version:  5.2.0    |   Keywords:
Estimated difficulty:  trivial  |
--------------------------------+----------------------------
 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 [[https://wiki.call-cc.org/man/5/Module%20(chicken%20read-syntax
 )#set-sharp-read-syntax|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.

-- 
Ticket URL: <https://bugs.call-cc.org/ticket/1733>
CHICKEN Scheme <https://www.call-cc.org/>
CHICKEN Scheme is a compiler for the Scheme programming language.