Opened 5 years ago

Last modified 3 years ago

#1155 new defect

values and the scrutinizer

Reported by: Mario Domenech Goulart Owned by:
Priority: not urgent at all Milestone: someday
Component: scrutinizer Version: 4.9.x
Keywords: values Cc:
Estimated difficulty: medium

Description

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.

Change History (2)

comment:1 Changed 5 years ago by 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.)

comment:2 Changed 3 years ago by sjamaan

Estimated difficulty: medium
Note: See TracTickets for help on using tickets.