[Chicken-janitors] #1470: Should -analyze-only imply -specialize?

[Chicken Trac]

#1470: Should -analyze-only imply -specialize?
----------------------+--------------------------------
 Reporter:  megane    |                 Owner:
     Type:  task      |                Status:  new
 Priority:  minor     |             Milestone:  5.1
Component:  compiler  |               Version:  4.13.0
 Keywords:            |  Estimated difficulty:  trivial
----------------------+--------------------------------
 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 *)



 }}}

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