Summary
values and the scrutinizer
Metadata
- Id: d3238470ec505530904c9c13045ec30b79c2788a
- Trac id: 1155
- Type: defect
- Reporter: mario
- Owner:
- Cc:
- Status: new
- Component: scrutinizer
- Estimated difficulty: medium
- Resolution:
- Priority: not urgent at all
- Milestone: someday
- Version: 4.9.x
- Changetime: 2016-08-25 21:48:08 UTC
- Created: 2014-09-19 00:37:12 UTC
- Keywords: values
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.
Changes and comments
[2015-03-17 09:27:18 UTC] evhan wrote:
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.)