[Chicken-hackers] strange csc-warning (Version 4.13.0)

[Martin Schneeweis]

Hi,

the attached file contains 3 procedures 

  a) strange-warning
  b) no-warning
  c) also-no-warning

(a) and (b) should be semantically identical - just the if's are
rearranged.

"csc strange-warning.scm" produces a type-warning for (a) but not for
(b):

  ...call to `cdr', expected argument #1 of type `pair' but was given
  an argument of type `false'...

(c) has the same if-arrangement as (a) - but the let-form is replaced
with a define-form.

If you are wondering: i reduced my original procedure to the minimum -
the original version is a procedure that returns the value for a key in
an association list using either "cdr" or "cadr" depending on the type
of the assq-return-value.

lg
Martin

----
chicken -version
(c) 2008-2017, The CHICKEN Team
(c) 2000-2007, Felix L. Winkelmann
Version 4.13.0 (rev 68eeaaef)
linux-unix-gnu-x86-64 [ 64bit manyargs dload ptables ]
compiled 2017-12-11 on yves.more-magic.net (Linux)