[Chicken-janitors] #952: scrutiny for list-of type wrong when matched with pair types

[Chicken Trac]

#952: scrutiny for list-of type wrong when matched with pair types
-------------------------+--------------------------------------------------
 Reporter:  sjamaan      |       Owner:  felix  
     Type:  defect       |      Status:  new    
 Priority:  minor        |   Milestone:  someday
Component:  scrutinizer  |     Version:  4.8.x  
 Keywords:               |  
-------------------------+--------------------------------------------------
 See the program in #948; this particular case was fixed, but changing
 {{{list}}} to {{{cons}}} will cause breakage:

 {{{
 #!scm
 (: apply1 (forall ((a number) b) (procedure ((procedure (#!rest a) b)
 (list-of a)) b)))

 (define (apply1 f args)
   (apply f args))

 (apply1 + (cons 'a (cons 2 '())))  ;;; Should give a warning, but doesn't
 }}}

-- 
Ticket URL: <http://bugs.call-cc.org/ticket/952>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.