[Chicken-janitors] #1039: Scrutinizer's behaviour differs between (list-of x) and (list x)

[Chicken Trac]

#1039: Scrutinizer's behaviour differs between (list-of x) and (list x)
-------------------------+--------------------------------------------------
 Reporter:  sjamaan      |       Owner:       
     Type:  defect       |      Status:  new  
 Priority:  major        |   Milestone:  4.9.0
Component:  scrutinizer  |     Version:  4.8.x
 Keywords:               |  
-------------------------+--------------------------------------------------
 Looks like this should give a scrutinizer warning, but it doesn't:

 {{{
 #!scm
 (module whatever ()
   (import chicken scheme)

   ;; Change "list-of" to "list" and it's still correct, but we do get a
 warning
   (: foo (forall (a) (a -> (list-of a))))
   (define (foo x)
     (cons x '()))

   (display (car (car (foo 1))))
   (newline)
 )
 }}}

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