~ chicken-core (chicken-5) /tests/scrutinizer-message-format.expected

  1;; numbers replaced with XXX by redact-gensyms.scm
  2;; prefixes: (tmp g scm: a b)
  3
  4Warning: literal in operator position: (1 2)
  5
  6Warning: literal in operator position: (1 2)
  7
  8Warning: Wrong number of arguments
  9  In file `test-scrutinizer-message-format.scm:XXX',
 10  In procedure `r-proc-call-argument-count-mismatch',
 11  In procedure call:
 12
 13    (scheme#cons '())
 14
 15  Procedure `cons' is called with 1 argument but 2 arguments are expected.
 16
 17  Procedure `cons' from module `scheme' has this type:
 18
 19    ('a 'b --> (pair 'a 'b))
 20
 21Warning: Invalid argument
 22  In file `test-scrutinizer-message-format.scm:XXX',
 23  In procedure `r-proc-call-argument-type-mismatch',
 24  In procedure call:
 25
 26    (scheme#length 'symbol)
 27
 28  Argument #1 to procedure `length' has an invalid type:
 29
 30    symbol
 31
 32  The expected type is:
 33
 34    list
 35
 36  This is the expression:
 37
 38    'symbol
 39
 40  Procedure `length' from module `scheme' has this type:
 41
 42    (list -> fixnum)
 43
 44Warning: Too many argument values
 45  In file `test-scrutinizer-message-format.scm:XXX',
 46  In procedure `r-proc-call-argument-value-count',
 47  In procedure call:
 48
 49    (scheme#list (chicken.time#cpu-time))
 50
 51  Argument #1 to procedure `list' returns 2 values but 1 is expected.
 52
 53  It is a call to `cpu-time' from module `chicken.time' which has this type:
 54
 55    (-> fixnum fixnum)
 56
 57  This is the expression:
 58
 59    (chicken.time#cpu-time)
 60
 61Warning: Not enough argument values
 62  In file `test-scrutinizer-message-format.scm:XXX',
 63  In procedure `r-proc-call-argument-value-count',
 64  In procedure call:
 65
 66    (scheme#vector (scheme#values))
 67
 68  Argument #1 to procedure `vector' does not return any values.
 69
 70  It is a call to `values' from module `scheme' which has this type:
 71
 72    (procedure (#!rest values) . *)
 73
 74  This is the expression:
 75
 76    (scheme#values)
 77
 78Warning: Let binding to `gXXX' has zero values
 79  In file `test-scrutinizer-message-format.scm:XXX',
 80  In procedure `r-proc-call-argument-value-count',
 81  In let expression:
 82
 83    (let ((gXXX (scheme#values))) (gXXX))
 84
 85  Variable `gXXX' is bound to an expression that returns 0 values.
 86
 87  It is a call to `values' from module `scheme' which has this type:
 88
 89    (procedure (#!rest values) . *)
 90
 91  This is the expression:
 92
 93    (scheme#values)
 94
 95Warning: Branch values mismatch
 96  In file `test-scrutinizer-message-format.scm:XXX',
 97  In procedure `r-cond-branch-value-count-mismatch',
 98  In conditional expression:
 99
100    (if (the * 1) 1 (scheme#values 1 2))
101
102  The branches have different numbers of values.
103
104  The true branch returns 1 value:
105
106    1
107
108  The false branch returns 2 values:
109
110    (scheme#values 1 2)
111
112Warning: Invalid procedure
113  In procedure `r-invalid-called-procedure-type',
114  In procedure call:
115
116    (1 2)
117
118  The procedure expression does not appear to be a callable.
119
120  This is the expression:
121
122    1
123
124  The expected type is:
125
126    (* -> *)
127
128  The actual type is:
129
130    fixnum
131
132Note: Predicate is always true
133  In file `test-scrutinizer-message-format.scm:XXX',
134  In procedure `r-pred-call-always-true',
135  In procedure call:
136
137    (scheme#list? '())
138
139  The predicate will always return true.
140
141  Procedure `list?' from module `scheme' is a predicate for:
142
143    list
144
145  The given argument has this type:
146
147    null
148
149Note: Predicate is always false
150  In file `test-scrutinizer-message-format.scm:XXX',
151  In procedure `r-pred-call-always-false',
152  In procedure call:
153
154    (scheme#symbol? 1)
155
156  The predicate will always return false.
157
158  Procedure `symbol?' from module `scheme' is a predicate for:
159
160    symbol
161
162  The given argument has this type:
163
164    fixnum
165
166Note: Test is always true
167  In procedure `r-cond-test-always-true',
168  In conditional expression:
169
170    (if 'symbol 1 (##core#undefined))
171
172  Test condition has always true value of type:
173
174    symbol
175
176Note: Test is always false
177  In procedure `r-cond-test-always-false',
178  In conditional expression:
179
180    (if #f 1 (##core#undefined))
181
182  Test condition is always false.
183
184Warning: Type mismatch
185  In procedure `r-type-mismatch-in-the',
186  In expression:
187
188    1
189
190  Expression's declared and actual types do not match.
191
192  The declared type is:
193
194    symbol
195
196  The actual type is:
197
198    fixnum
199
200Warning: Not enough values
201  In file `test-scrutinizer-message-format.scm:XXX',
202  In procedure `r-zero-values-for-the',
203  In expression:
204
205    (scheme#values)
206
207  Expression returns 0 values but is declared to return:
208
209    symbol
210
211Warning: Too many values
212  In file `test-scrutinizer-message-format.scm:XXX',
213  In procedure `r-too-many-values-for-the',
214  In expression:
215
216    (scheme#values 1 2)
217
218  Expression returns too many values.
219
220  The expression returns 2 values but is declared to return:
221
222    symbol
223
224Warning: Type mismatch
225  In file `test-scrutinizer-message-format.scm:XXX',
226  In procedure `r-too-many-values-for-the',
227  In expression:
228
229    (scheme#values 1 2)
230
231  Expression's declared and actual types do not match.
232
233  The declared type is:
234
235    symbol
236
237  The actual type is:
238
239    fixnum
240
241Warning: Invalid assignment
242  In procedure `r-toplevel-var-assignment-type-mismatch',
243  In assignment:
244
245    (set! foo 1)
246
247  Variable `foo' is assigned invalid value.
248
249  The assigned value has this type:
250
251    fixnum
252
253  The declared type of `foo' is:
254
255    boolean
256
257Warning: Deprecated identifier `deprecated-foo'
258  In procedure `r-deprecated-identifier',
259  In expression:
260
261    deprecated-foo
262
263  Use of deprecated identifier `deprecated-foo'.
264
265Warning: Deprecated identifier `deprecated-foo2'
266  In procedure `r-deprecated-identifier',
267  In expression:
268
269    deprecated-foo2
270
271  Use of deprecated identifier `deprecated-foo2'.
272
273  The suggested alternative is `foo'.
274
275Warning: Invalid assignment
276  At the toplevel,
277  In assignment:
278
279    (set! foo 1)
280
281  Variable `foo' is assigned invalid value.
282
283  The assigned value has this type:
284
285    fixnum
286
287  The declared type of `foo' is:
288
289    boolean
290
291Warning: Negative list index
292  In file `test-scrutinizer-message-format.scm:XXX',
293  In procedure `list-ref-negative-index',
294  In procedure call:
295
296    (scheme#list-ref '() -1)
297
298  Procedure `list-ref' from module `scheme' is called with a negative index -1.
299
300Warning: List index out of range
301  In file `test-scrutinizer-message-format.scm:XXX',
302  In procedure `list-ref-out-of-range',
303  In procedure call:
304
305    (scheme#list-ref '() 1)
306
307  Procedure `list-ref' from module `scheme' is called with index `1' for a list of length `0'.
308
309Warning: Invalid argument
310  In file `test-scrutinizer-message-format.scm:XXX',
311  In procedure `append-invalid-arg',
312  In procedure call:
313
314    (scheme#append 1 (scheme#list 1))
315
316  Argument #1 to procedure `append' has an invalid type:
317
318    fixnum
319
320  The expected type is:
321
322    list
323
324  This is the expression:
325
326    1
327
328  Procedure `append' from module `scheme' has this type:
329
330    (#!rest * -> *)
331
332Warning: Negative vector index
333  In file `test-scrutinizer-message-format.scm:XXX',
334  In procedure `vector-ref-out-of-range',
335  In procedure call:
336
337    (scheme#vector-ref (scheme#vector) -1)
338
339  Procedure `vector-ref' from module `scheme' is called with a negative index -1.
340
341Warning: Wrong number of arguments
342  In file `test-scrutinizer-message-format.scm:XXX',
343  In module `m',
344  In procedure `toplevel-foo',
345  In procedure `local-bar',
346  In procedure `r-proc-call-argument-count-mismatch',
347  In procedure call:
348
349    (scheme#cons '())
350
351  Procedure `cons' is called with 1 argument but 2 arguments are expected.
352
353  Procedure `cons' from module `scheme' has this type:
354
355    ('a 'b --> (pair 'a 'b))
356
357Warning: Invalid argument
358  In file `test-scrutinizer-message-format.scm:XXX',
359  In module `m',
360  In procedure `toplevel-foo',
361  In procedure `local-bar',
362  In procedure `r-proc-call-argument-type-mismatch',
363  In procedure call:
364
365    (scheme#length 'symbol)
366
367  Argument #1 to procedure `length' has an invalid type:
368
369    symbol
370
371  The expected type is:
372
373    list
374
375  This is the expression:
376
377    'symbol
378
379  Procedure `length' from module `scheme' has this type:
380
381    (list -> fixnum)
382
383Warning: Too many argument values
384  In file `test-scrutinizer-message-format.scm:XXX',
385  In module `m',
386  In procedure `toplevel-foo',
387  In procedure `local-bar',
388  In procedure `r-proc-call-argument-value-count',
389  In procedure call:
390
391    (scheme#list (chicken.time#cpu-time))
392
393  Argument #1 to procedure `list' returns 2 values but 1 is expected.
394
395  It is a call to `cpu-time' from module `chicken.time' which has this type:
396
397    (-> fixnum fixnum)
398
399  This is the expression:
400
401    (chicken.time#cpu-time)
402
403Warning: Not enough argument values
404  In file `test-scrutinizer-message-format.scm:XXX',
405  In module `m',
406  In procedure `toplevel-foo',
407  In procedure `local-bar',
408  In procedure `r-proc-call-argument-value-count',
409  In procedure call:
410
411    (scheme#vector (scheme#values))
412
413  Argument #1 to procedure `vector' does not return any values.
414
415  It is a call to `values' from module `scheme' which has this type:
416
417    (procedure (#!rest values) . *)
418
419  This is the expression:
420
421    (scheme#values)
422
423Warning: Branch values mismatch
424  In file `test-scrutinizer-message-format.scm:XXX',
425  In module `m',
426  In procedure `toplevel-foo',
427  In procedure `local-bar',
428  In procedure `r-cond-branch-value-count-mismatch',
429  In conditional expression:
430
431    (if (the * 1) 1 (chicken.time#cpu-time))
432
433  The branches have different numbers of values.
434
435  The true branch returns 1 value:
436
437    1
438
439  The false branch returns 2 values:
440
441    (chicken.time#cpu-time)
442
443Warning: Invalid procedure
444  In file `test-scrutinizer-message-format.scm:XXX',
445  In module `m',
446  In procedure `toplevel-foo',
447  In procedure `local-bar',
448  In procedure `r-invalid-called-procedure-type',
449  In procedure `variable',
450  In procedure call:
451
452    (m#foo2 2)
453
454  Variable `foo2' from module `m' is not a procedure.
455
456  It has this type:
457
458    boolean
459
460Warning: Invalid procedure
461  In module `m',
462  In procedure `toplevel-foo',
463  In procedure `local-bar',
464  In procedure `r-invalid-called-procedure-type',
465  In procedure `non-variable',
466  In procedure call:
467
468    (1 2)
469
470  The procedure expression does not appear to be a callable.
471
472  This is the expression:
473
474    1
475
476  The expected type is:
477
478    (* -> *)
479
480  The actual type is:
481
482    fixnum
483
484Note: Predicate is always true
485  In file `test-scrutinizer-message-format.scm:XXX',
486  In module `m',
487  In procedure `toplevel-foo',
488  In procedure `local-bar',
489  In procedure `r-pred-call-always-true',
490  In procedure call:
491
492    (scheme#list? '())
493
494  The predicate will always return true.
495
496  Procedure `list?' from module `scheme' is a predicate for:
497
498    list
499
500  The given argument has this type:
501
502    null
503
504Note: Predicate is always false
505  In file `test-scrutinizer-message-format.scm:XXX',
506  In module `m',
507  In procedure `toplevel-foo',
508  In procedure `local-bar',
509  In procedure `r-pred-call-always-false',
510  In procedure call:
511
512    (scheme#symbol? 1)
513
514  The predicate will always return false.
515
516  Procedure `symbol?' from module `scheme' is a predicate for:
517
518    symbol
519
520  The given argument has this type:
521
522    fixnum
523
524Note: Test is always true
525  In file `test-scrutinizer-message-format.scm:XXX',
526  In module `m',
527  In procedure `toplevel-foo',
528  In procedure `local-bar',
529  In procedure `r-cond-test-always-true',
530  In conditional expression:
531
532    (if (scheme#length '()) 1 (##core#undefined))
533
534  Test condition has always true value of type:
535
536    fixnum
537
538Note: Test is always false
539  In module `m',
540  In procedure `toplevel-foo',
541  In procedure `local-bar',
542  In procedure `r-cond-test-always-false',
543  In conditional expression:
544
545    (if #f 1 (##core#undefined))
546
547  Test condition is always false.
548
549Warning: Type mismatch
550  In module `m',
551  In procedure `toplevel-foo',
552  In procedure `local-bar',
553  In procedure `r-type-mismatch-in-the',
554  In expression:
555
556    1
557
558  Expression's declared and actual types do not match.
559
560  The declared type is:
561
562    symbol
563
564  The actual type is:
565
566    fixnum
567
568Warning: Not enough values
569  In file `test-scrutinizer-message-format.scm:XXX',
570  In module `m',
571  In procedure `toplevel-foo',
572  In procedure `local-bar',
573  In procedure `r-zero-values-for-the',
574  In expression:
575
576    (scheme#values)
577
578  Expression returns 0 values but is declared to return:
579
580    symbol
581
582Warning: Too many values
583  In file `test-scrutinizer-message-format.scm:XXX',
584  In module `m',
585  In procedure `toplevel-foo',
586  In procedure `local-bar',
587  In procedure `r-too-many-values-for-the',
588  In expression:
589
590    (scheme#values 1 2)
591
592  Expression returns too many values.
593
594  The expression returns 2 values but is declared to return:
595
596    symbol
597
598Warning: Type mismatch
599  In file `test-scrutinizer-message-format.scm:XXX',
600  In module `m',
601  In procedure `toplevel-foo',
602  In procedure `local-bar',
603  In procedure `r-too-many-values-for-the',
604  In expression:
605
606    (scheme#values 1 2)
607
608  Expression's declared and actual types do not match.
609
610  The declared type is:
611
612    symbol
613
614  The actual type is:
615
616    fixnum
617
618Warning: Invalid assignment
619  In module `m',
620  In procedure `toplevel-foo',
621  In procedure `local-bar',
622  In procedure `r-toplevel-var-assignment-type-mismatch',
623  In assignment:
624
625    (set! m#foo2 1)
626
627  Variable `foo2' is assigned invalid value.
628
629  The assigned value has this type:
630
631    fixnum
632
633  The declared type of `foo2' from module `m' is:
634
635    boolean
636
637Warning: Deprecated identifier `deprecated-foo'
638  In module `m',
639  In procedure `toplevel-foo',
640  In procedure `local-bar',
641  In procedure `r-deprecated-identifier',
642  In expression:
643
644    m#deprecated-foo
645
646  Use of deprecated identifier `deprecated-foo' from module `m'.
647
648Warning: Deprecated identifier `deprecated-foo2'
649  In module `m',
650  In procedure `toplevel-foo',
651  In procedure `local-bar',
652  In procedure `r-deprecated-identifier',
653  In expression:
654
655    m#deprecated-foo2
656
657  Use of deprecated identifier `deprecated-foo2' from module `m'.
658
659  The suggested alternative is `foo'.
660
661Warning: Let binding to `a' has zero values
662  In file `test-scrutinizer-message-format.scm:XXX',
663  In module `m',
664  In procedure `toplevel-foo',
665  In procedure `local-bar',
666  In procedure `r-let-value-count-invalid',
667  In procedure `zero-values-for-let',
668  In let expression:
669
670    (let ((a (scheme#values))) a)
671
672  Variable `a' is bound to an expression that returns 0 values.
673
674  It is a call to `values' from module `scheme' which has this type:
675
676    (procedure (#!rest values) . *)
677
678  This is the expression:
679
680    (scheme#values)
681
682Warning: Let binding to `a' has 2 values
683  In file `test-scrutinizer-message-format.scm:XXX',
684  In module `m',
685  In procedure `toplevel-foo',
686  In procedure `local-bar',
687  In procedure `r-let-value-count-invalid',
688  In procedure `too-many-values-for-let',
689  In let expression:
690
691    (let ((a (scheme#values 1 2))) a)
692
693  Variable `a' is bound to an expression that returns 2 values.
694
695  It is a call to `values' from module `scheme' which has this type:
696
697    (procedure (#!rest values) . *)
698
699  This is the expression:
700
701    (scheme#values 1 2)
702
703Warning: Zero values for conditional
704  In file `test-scrutinizer-message-format.scm:XXX',
705  In module `m',
706  In procedure `toplevel-foo',
707  In procedure `local-bar',
708  In procedure `r-conditional-value-count-invalid',
709  In procedure `zero-values-for-conditional',
710  In conditional:
711
712    (if (scheme#values) 1 (##core#undefined))
713
714  The test expression returns 0 values.
715
716  It is a call to `values' from module `scheme' which has this type:
717
718    (procedure (#!rest values) . *)
719
720  This is the expression:
721
722    (scheme#values)
723
724Warning: Too many values for conditional
725  In file `test-scrutinizer-message-format.scm:XXX',
726  In module `m',
727  In procedure `toplevel-foo',
728  In procedure `local-bar',
729  In procedure `r-conditional-value-count-invalid',
730  In procedure `too-many-values-for-conditional',
731  In conditional:
732
733    (if (scheme#values (the * 1) 2) 1 (##core#undefined))
734
735  The test expression returns 2 values.
736
737  It is a call to `values' from module `scheme' which has this type:
738
739    (procedure (#!rest values) . *)
740
741  This is the expression:
742
743    (scheme#values (the * 1) 2)
744
745Warning: Assignment to `foo' has zero values
746  In file `test-scrutinizer-message-format.scm:XXX',
747  In module `m',
748  In procedure `toplevel-foo',
749  In procedure `local-bar',
750  In procedure `r-assignment-value-count-invalid',
751  In procedure `zero-values-for-assignment',
752  In assignment:
753
754    (set! m#foo (scheme#values))
755
756  Variable `foo' is assigned from expression that returns 0 values.
757
758  It is a call to `values' from module `scheme' which has this type:
759
760    (procedure (#!rest values) . *)
761
762  This is the expression:
763
764    (scheme#values)
765
766Warning: Assignment to `foo' has 2 values
767  In file `test-scrutinizer-message-format.scm:XXX',
768  In module `m',
769  In procedure `toplevel-foo',
770  In procedure `local-bar',
771  In procedure `r-assignment-value-count-invalid',
772  In procedure `too-many-values-for-assignment',
773  In assignment:
774
775    (set! m#foo (scheme#values #t 2))
776
777  Variable `foo' is assigned from expression that returns 2 values.
778
779  It is a call to `values' from module `scheme' which has this type:
780
781    (procedure (#!rest values) . *)
782
783  This is the expression:
784
785    (scheme#values #t 2)
786
787Warning: Negative list index
788  In file `test-scrutinizer-message-format.scm:XXX',
789  In module `m',
790  In procedure `toplevel-foo',
791  In procedure `local-bar',
792  In procedure `list-ref-negative-index',
793  In procedure call:
794
795    (scheme#list-ref '() -1)
796
797  Procedure `list-ref' from module `scheme' is called with a negative index -1.
798
799Warning: List index out of range
800  In file `test-scrutinizer-message-format.scm:XXX',
801  In module `m',
802  In procedure `toplevel-foo',
803  In procedure `local-bar',
804  In procedure `list-ref-out-of-range',
805  In procedure call:
806
807    (scheme#list-ref '() 1)
808
809  Procedure `list-ref' from module `scheme' is called with index `1' for a list of length `0'.
810
811Warning: Invalid argument
812  In file `test-scrutinizer-message-format.scm:XXX',
813  In module `m',
814  In procedure `toplevel-foo',
815  In procedure `local-bar',
816  In procedure `append-invalid-arg',
817  In procedure call:
818
819    (scheme#append 1 (scheme#list 1))
820
821  Argument #1 to procedure `append' has an invalid type:
822
823    fixnum
824
825  The expected type is:
826
827    list
828
829  This is the expression:
830
831    1
832
833  Procedure `append' from module `scheme' has this type:
834
835    (#!rest * -> *)
836
837Warning: Negative vector index
838  In file `test-scrutinizer-message-format.scm:XXX',
839  In module `m',
840  In procedure `toplevel-foo',
841  In procedure `local-bar',
842  In procedure `vector-ref-out-of-range',
843  In procedure call:
844
845    (scheme#vector-ref (scheme#vector) -1)
846
847  Procedure `vector-ref' from module `scheme' is called with a negative index -1.
848
849Note: Predicate is always true
850  In file `test-scrutinizer-message-format.scm:XXX',
851  In module `m',
852  In procedure `toplevel-foo',
853  In procedure `local-bar',
854  In procedure `r-cond-test-always-true-with-pred',
855  In procedure call:
856
857    (scheme#symbol? 'symbol)
858
859  The predicate will always return true.
860
861  Procedure `symbol?' from module `scheme' is a predicate for:
862
863    symbol
864
865  The given argument has this type:
866
867    symbol
868
869Note: Test is always true
870  In file `test-scrutinizer-message-format.scm:XXX',
871  In module `m',
872  In procedure `toplevel-foo',
873  In procedure `local-bar',
874  In procedure `r-cond-test-always-true-with-pred',
875  In conditional expression:
876
877    (if (scheme#symbol? 'symbol) 1 (##core#undefined))
878
879  Test condition has always true value of type:
880
881    true
882
883Note: Predicate is always false
884  In file `test-scrutinizer-message-format.scm:XXX',
885  In module `m',
886  In procedure `toplevel-foo',
887  In procedure `local-bar',
888  In procedure `r-cond-test-always-false-with-pred',
889  In procedure call:
890
891    (scheme#symbol? 1)
892
893  The predicate will always return false.
894
895  Procedure `symbol?' from module `scheme' is a predicate for:
896
897    symbol
898
899  The given argument has this type:
900
901    fixnum
902
903Note: Test is always false
904  In file `test-scrutinizer-message-format.scm:XXX',
905  In module `m',
906  In procedure `toplevel-foo',
907  In procedure `local-bar',
908  In procedure `r-cond-test-always-false-with-pred',
909  In conditional expression:
910
911    (if (scheme#symbol? 1) 1 (##core#undefined))
912
913  Test condition is always false.
914
915Error: No typecase match
916  In file `test-scrutinizer-message-format.scm:XXX',
917  In module `m',
918  In procedure `toplevel-foo',
919  In procedure `local-bar',
920  In procedure `fail-compiler-typecase',
921  In `compiler-typecase' expression:
922
923    (compiler-typecase gXXX (symbol 1) (list 2) (else (##core#undefined)))
924
925  Tested expression does not match any case.
926
927  The expression has this type:
928
929    fixnum
930
931  The specified type cases are these:
932
933    symbol
934
935    list