id summary reporter owner description type status priority milestone component version resolution keywords cc difficulty 1470 Should -analyze-only imply -specialize? megane "This is snippet is lifted from scrutiny-test.scm, which is checked with `-analyze-only`. `-analyze-only` without `-specialize` gives wrong type for the list. Either `-A` should include `-specialize`, or scrutiny-test.scm should be checked with `-specialize`. {{{ (let ((l1 (list 'a 'b 'c))) (define (list-ref-nowarn1) (list-ref l1 0)) (compiler-typecase l1 ((not *) 1))) ;; $ csc -analyze-only t.scm ;; ;; Error: at toplevel: ;; (t.scm:4) no clause applies in `compiler-typecase' for expression of type `(or pair null)': ;; (not *) ;; $ csc -analyze-only -specialize t.scm ;; ;; Error: at toplevel: ;; (t.scm:4) no clause applies in `compiler-typecase' for expression of type `(list symbol symbol symbol)': ;; (not *) }}}" task closed minor 5.2 compiler 4.13.0 fixed trivial