values and the scrutinizer

[Mario Domenech Goulart]

The scrutinizer complains a little when faced with values under certain circumstances. Here are some examples:

$ echo '(module val () (import scheme) (values))' > val.scm

$ csc val.scm

Warning: at toplevel:
  expected in `let' binding of `t10' a single result, but were given zero results

$ echo '(module val () (import chicken scheme) (and-let* ((#t)) (values)))' > al.scm

$ csc al.scm

Warning: at toplevel:
  branches in conditional expression differ in the number of results:

(if #t (values) #f)

Of course, those warnings make sense, but I wonder if there is anything we can do to improve that situation.

[evhan]

What behavior would you expect/prefer in the second case?

(I agree that the first message could definitely be improved. It probably has similar roots to #1115.)