[Chicken-janitors] #1258: At higher optimization levels, some scrutiny warnings disappear

[Chicken Trac]

#1258: At higher optimization levels, some scrutiny warnings disappear
-------------------------+--------------------
 Reporter:  sjamaan      |      Owner:
     Type:  defect       |     Status:  new
 Priority:  major        |  Milestone:  5.0
Component:  scrutinizer  |    Version:  4.10.x
 Keywords:               |
-------------------------+--------------------
 {{{
 #!scheme
 (use data-structures)
 (print (sort '(x y z) (lambda (a b) (> a b))))
 }}}

 When compiled with {{{-O2}}} or lower, this gives the warning:

 {{{
 Warning: at toplevel:
   (/tmp/test.scm:5) in procedure call to `sort',
   expected argument #2 of type `(procedure (symbol symbol) *)'
   but was given an argument of type `(procedure (number number) boolean)'
 }}}

 When compiled with {{{-O3}}} or higher, no output is given.

 The warning is always shown in master, as far as I can tell.

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