Re: [Chicken-janitors] #1399: Scrutinizer produces incorrect procedure types after merge

[Chicken Trac]

#1399: Scrutinizer produces incorrect procedure types after merge
------------------------------------+----------------------
            Reporter:  LemonBoy     |      Owner:  evhan
                Type:  defect       |     Status:  assigned
            Priority:  major        |  Milestone:  4.13.0
           Component:  scrutinizer  |    Version:  4.12.0
          Resolution:               |   Keywords:
Estimated difficulty:  medium       |
------------------------------------+----------------------

Comment (by LemonBoy):

 Sure, I caught this error during the compilation of the `sxpath` egg, to
 be precise during the compilation of `chicken/context-sxpath-lolevel.scm`.
 The warnings emitted are reported below:

 {{{
   Warning: in toplevel procedure `context-sxpath-lolevel#draft:ast-step':
     expected a single result in `let' binding of `axis', but received zero
 results

   Warning: in toplevel procedure `context-sxpath-lolevel#draft:ast-step':
     expected a single result in `let' binding of `axis', but received zero
 results
 }}}

 You have to start from those warnings and work your way backwards to the
 source of the type for `axis-lst`. If I still remember correctly the nitty
 gritty details it's the analysis of `draft:ast-axis-specifier` that gets
 the type mentioned in the ticket.


 Tested right now with CHICKEN Version 4.12.1 (rev 5746f0c1)

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