id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
1039	Scrutinizer's behaviour differs between (list-of x) and (list x)	sjamaan		"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)
)
}}}"	defect	closed	major	4.9.0	scrutinizer	4.8.x	fixed