~ chicken-core (chicken-5) /tests/scrutiny-2.expected

  1;; numbers replaced with XXX by redact-gensyms.scm
  2;; prefixes: (tmp g scm:)
  3
  4Note: Predicate is always true
  5  In file `scrutiny-tests-2.scm:XXX',
  6  At the toplevel,
  7  In procedure call:
  8
  9    (scheme#pair? p)
 10
 11  The predicate will always return true.
 12
 13  Procedure `pair?' from module `scheme' is a predicate for:
 14
 15    pair
 16
 17  The given argument has this type:
 18
 19    (pair fixnum fixnum)
 20
 21Note: Test is always true
 22  At the toplevel,
 23  In conditional expression:
 24
 25    (if tmp
 26      tmp
 27      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(pair? p)))
 28
 29  Test condition has always true value of type:
 30
 31    true
 32
 33Note: Predicate is always false
 34  In file `scrutiny-tests-2.scm:XXX',
 35  At the toplevel,
 36  In procedure call:
 37
 38    (scheme#pair? l)
 39
 40  The predicate will always return false.
 41
 42  Procedure `pair?' from module `scheme' is a predicate for:
 43
 44    pair
 45
 46  The given argument has this type:
 47
 48    null
 49
 50Note: Test is always true
 51  At the toplevel,
 52  In conditional expression:
 53
 54    (if tmp
 55      tmp
 56      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(not ...)))
 57
 58  Test condition has always true value of type:
 59
 60    true
 61
 62Note: Predicate is always false
 63  In file `scrutiny-tests-2.scm:XXX',
 64  At the toplevel,
 65  In procedure call:
 66
 67    (scheme#pair? n)
 68
 69  The predicate will always return false.
 70
 71  Procedure `pair?' from module `scheme' is a predicate for:
 72
 73    pair
 74
 75  The given argument has this type:
 76
 77    null
 78
 79Note: Test is always true
 80  At the toplevel,
 81  In conditional expression:
 82
 83    (if tmp
 84      tmp
 85      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(not ...)))
 86
 87  Test condition has always true value of type:
 88
 89    true
 90
 91Note: Predicate is always false
 92  In file `scrutiny-tests-2.scm:XXX',
 93  At the toplevel,
 94  In procedure call:
 95
 96    (scheme#pair? i)
 97
 98  The predicate will always return false.
 99
100  Procedure `pair?' from module `scheme' is a predicate for:
101
102    pair
103
104  The given argument has this type:
105
106    fixnum
107
108Note: Test is always true
109  At the toplevel,
110  In conditional expression:
111
112    (if tmp
113      tmp
114      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(not ...)))
115
116  Test condition has always true value of type:
117
118    true
119
120Note: Predicate is always false
121  In file `scrutiny-tests-2.scm:XXX',
122  At the toplevel,
123  In procedure call:
124
125    (scheme#pair? f)
126
127  The predicate will always return false.
128
129  Procedure `pair?' from module `scheme' is a predicate for:
130
131    pair
132
133  The given argument has this type:
134
135    float
136
137Note: Test is always true
138  At the toplevel,
139  In conditional expression:
140
141    (if tmp
142      tmp
143      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(not ...)))
144
145  Test condition has always true value of type:
146
147    true
148
149Note: Predicate is always true
150  In file `scrutiny-tests-2.scm:XXX',
151  At the toplevel,
152  In procedure call:
153
154    (scheme#list? l)
155
156  The predicate will always return true.
157
158  Procedure `list?' from module `scheme' is a predicate for:
159
160    list
161
162  The given argument has this type:
163
164    null
165
166Note: Test is always true
167  At the toplevel,
168  In conditional expression:
169
170    (if tmp
171      tmp
172      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(list? l)))
173
174  Test condition has always true value of type:
175
176    true
177
178Note: Predicate is always true
179  In file `scrutiny-tests-2.scm:XXX',
180  At the toplevel,
181  In procedure call:
182
183    (scheme#list? n)
184
185  The predicate will always return true.
186
187  Procedure `list?' from module `scheme' is a predicate for:
188
189    list
190
191  The given argument has this type:
192
193    null
194
195Note: Test is always true
196  At the toplevel,
197  In conditional expression:
198
199    (if tmp
200      tmp
201      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(list? n)))
202
203  Test condition has always true value of type:
204
205    true
206
207Note: Predicate is always false
208  In file `scrutiny-tests-2.scm:XXX',
209  At the toplevel,
210  In procedure call:
211
212    (scheme#list? p)
213
214  The predicate will always return false.
215
216  Procedure `list?' from module `scheme' is a predicate for:
217
218    list
219
220  The given argument has this type:
221
222    (pair fixnum fixnum)
223
224Note: Test is always true
225  At the toplevel,
226  In conditional expression:
227
228    (if tmp
229      tmp
230      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(not ...)))
231
232  Test condition has always true value of type:
233
234    true
235
236Note: Predicate is always false
237  In file `scrutiny-tests-2.scm:XXX',
238  At the toplevel,
239  In procedure call:
240
241    (scheme#list? i)
242
243  The predicate will always return false.
244
245  Procedure `list?' from module `scheme' is a predicate for:
246
247    list
248
249  The given argument has this type:
250
251    fixnum
252
253Note: Test is always true
254  At the toplevel,
255  In conditional expression:
256
257    (if tmp
258      tmp
259      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(not ...)))
260
261  Test condition has always true value of type:
262
263    true
264
265Note: Predicate is always false
266  In file `scrutiny-tests-2.scm:XXX',
267  At the toplevel,
268  In procedure call:
269
270    (scheme#list? f)
271
272  The predicate will always return false.
273
274  Procedure `list?' from module `scheme' is a predicate for:
275
276    list
277
278  The given argument has this type:
279
280    float
281
282Note: Test is always true
283  At the toplevel,
284  In conditional expression:
285
286    (if tmp
287      tmp
288      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(not ...)))
289
290  Test condition has always true value of type:
291
292    true
293
294Note: Predicate is always true
295  In file `scrutiny-tests-2.scm:XXX',
296  At the toplevel,
297  In procedure call:
298
299    (scheme#null? n)
300
301  The predicate will always return true.
302
303  Procedure `null?' from module `scheme' is a predicate for:
304
305    null
306
307  The given argument has this type:
308
309    null
310
311Note: Test is always true
312  At the toplevel,
313  In conditional expression:
314
315    (if tmp
316      tmp
317      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(null? n)))
318
319  Test condition has always true value of type:
320
321    true
322
323Note: Predicate is always true
324  In file `scrutiny-tests-2.scm:XXX',
325  At the toplevel,
326  In procedure call:
327
328    (scheme#null? l)
329
330  The predicate will always return true.
331
332  Procedure `null?' from module `scheme' is a predicate for:
333
334    null
335
336  The given argument has this type:
337
338    null
339
340Note: Test is always true
341  At the toplevel,
342  In conditional expression:
343
344    (if tmp
345      tmp
346      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(null? l)))
347
348  Test condition has always true value of type:
349
350    true
351
352Note: Predicate is always false
353  In file `scrutiny-tests-2.scm:XXX',
354  At the toplevel,
355  In procedure call:
356
357    (scheme#null? p)
358
359  The predicate will always return false.
360
361  Procedure `null?' from module `scheme' is a predicate for:
362
363    null
364
365  The given argument has this type:
366
367    (pair fixnum fixnum)
368
369Note: Test is always true
370  At the toplevel,
371  In conditional expression:
372
373    (if tmp
374      tmp
375      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(not ...)))
376
377  Test condition has always true value of type:
378
379    true
380
381Note: Predicate is always false
382  In file `scrutiny-tests-2.scm:XXX',
383  At the toplevel,
384  In procedure call:
385
386    (scheme#null? i)
387
388  The predicate will always return false.
389
390  Procedure `null?' from module `scheme' is a predicate for:
391
392    null
393
394  The given argument has this type:
395
396    fixnum
397
398Note: Test is always true
399  At the toplevel,
400  In conditional expression:
401
402    (if tmp
403      tmp
404      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(not ...)))
405
406  Test condition has always true value of type:
407
408    true
409
410Note: Predicate is always false
411  In file `scrutiny-tests-2.scm:XXX',
412  At the toplevel,
413  In procedure call:
414
415    (scheme#null? f)
416
417  The predicate will always return false.
418
419  Procedure `null?' from module `scheme' is a predicate for:
420
421    null
422
423  The given argument has this type:
424
425    float
426
427Note: Test is always true
428  At the toplevel,
429  In conditional expression:
430
431    (if tmp
432      tmp
433      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(not ...)))
434
435  Test condition has always true value of type:
436
437    true
438
439Note: Predicate is always true
440  In file `scrutiny-tests-2.scm:XXX',
441  At the toplevel,
442  In procedure call:
443
444    (chicken.base#fixnum? i)
445
446  The predicate will always return true.
447
448  Procedure `fixnum?' from module `chicken.base' is a predicate for:
449
450    fixnum
451
452  The given argument has this type:
453
454    fixnum
455
456Note: Test is always true
457  At the toplevel,
458  In conditional expression:
459
460    (if tmp
461      tmp
462      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(fixnum? i)))
463
464  Test condition has always true value of type:
465
466    true
467
468Note: Predicate is always false
469  In file `scrutiny-tests-2.scm:XXX',
470  At the toplevel,
471  In procedure call:
472
473    (chicken.base#fixnum? f)
474
475  The predicate will always return false.
476
477  Procedure `fixnum?' from module `chicken.base' is a predicate for:
478
479    fixnum
480
481  The given argument has this type:
482
483    float
484
485Note: Test is always true
486  At the toplevel,
487  In conditional expression:
488
489    (if tmp
490      tmp
491      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(not ...)))
492
493  Test condition has always true value of type:
494
495    true
496
497Note: Predicate is always false
498  In file `scrutiny-tests-2.scm:XXX',
499  At the toplevel,
500  In procedure call:
501
502    (chicken.base#fixnum? u)
503
504  The predicate will always return false.
505
506  Procedure `fixnum?' from module `chicken.base' is a predicate for:
507
508    fixnum
509
510  The given argument has this type:
511
512    float
513
514Note: Test is always true
515  At the toplevel,
516  In conditional expression:
517
518    (if tmp
519      tmp
520      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(not ...)))
521
522  Test condition has always true value of type:
523
524    true
525
526Note: Predicate is always true
527  In file `scrutiny-tests-2.scm:XXX',
528  At the toplevel,
529  In procedure call:
530
531    (chicken.base#flonum? f)
532
533  The predicate will always return true.
534
535  Procedure `flonum?' from module `chicken.base' is a predicate for:
536
537    float
538
539  The given argument has this type:
540
541    float
542
543Note: Test is always true
544  At the toplevel,
545  In conditional expression:
546
547    (if tmp
548      tmp
549      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(flonum? f)))
550
551  Test condition has always true value of type:
552
553    true
554
555Note: Predicate is always true
556  In file `scrutiny-tests-2.scm:XXX',
557  At the toplevel,
558  In procedure call:
559
560    (chicken.base#flonum? u)
561
562  The predicate will always return true.
563
564  Procedure `flonum?' from module `chicken.base' is a predicate for:
565
566    float
567
568  The given argument has this type:
569
570    float
571
572Note: Test is always true
573  At the toplevel,
574  In conditional expression:
575
576    (if tmp
577      tmp
578      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(flonum? u)))
579
580  Test condition has always true value of type:
581
582    true
583
584Note: Predicate is always false
585  In file `scrutiny-tests-2.scm:XXX',
586  At the toplevel,
587  In procedure call:
588
589    (chicken.base#flonum? i)
590
591  The predicate will always return false.
592
593  Procedure `flonum?' from module `chicken.base' is a predicate for:
594
595    float
596
597  The given argument has this type:
598
599    fixnum
600
601Note: Test is always true
602  At the toplevel,
603  In conditional expression:
604
605    (if tmp
606      tmp
607      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(not ...)))
608
609  Test condition has always true value of type:
610
611    true
612
613Note: Predicate is always true
614  In file `scrutiny-tests-2.scm:XXX',
615  At the toplevel,
616  In procedure call:
617
618    (scheme#number? i)
619
620  The predicate will always return true.
621
622  Procedure `number?' from module `scheme' is a predicate for:
623
624    number
625
626  The given argument has this type:
627
628    fixnum
629
630Note: Test is always true
631  At the toplevel,
632  In conditional expression:
633
634    (if tmp
635      tmp
636      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(number? i)))
637
638  Test condition has always true value of type:
639
640    true
641
642Note: Predicate is always true
643  In file `scrutiny-tests-2.scm:XXX',
644  At the toplevel,
645  In procedure call:
646
647    (scheme#number? f)
648
649  The predicate will always return true.
650
651  Procedure `number?' from module `scheme' is a predicate for:
652
653    number
654
655  The given argument has this type:
656
657    float
658
659Note: Test is always true
660  At the toplevel,
661  In conditional expression:
662
663    (if tmp
664      tmp
665      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(number? f)))
666
667  Test condition has always true value of type:
668
669    true
670
671Note: Predicate is always true
672  In file `scrutiny-tests-2.scm:XXX',
673  At the toplevel,
674  In procedure call:
675
676    (scheme#number? u)
677
678  The predicate will always return true.
679
680  Procedure `number?' from module `scheme' is a predicate for:
681
682    number
683
684  The given argument has this type:
685
686    float
687
688Note: Test is always true
689  At the toplevel,
690  In conditional expression:
691
692    (if tmp
693      tmp
694      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(number? u)))
695
696  Test condition has always true value of type:
697
698    true
699
700Note: Predicate is always false
701  In file `scrutiny-tests-2.scm:XXX',
702  At the toplevel,
703  In procedure call:
704
705    (scheme#number? n)
706
707  The predicate will always return false.
708
709  Procedure `number?' from module `scheme' is a predicate for:
710
711    number
712
713  The given argument has this type:
714
715    null
716
717Note: Test is always true
718  At the toplevel,
719  In conditional expression:
720
721    (if tmp
722      tmp
723      (##sys#error "(scrutiny-tests-2.scm:XXX) assertion failed" '(not ...)))
724
725  Test condition has always true value of type:
726
727    true