~ chicken-core (master) /tests/scrutiny.expected

   1;; numbers replaced with XXX by redact-gensyms.scm
   2;; prefixes: (tmp g scm:)
   3
   4Warning: (scrutiny-tests.scm:XXX) - assignment to imported value binding `car'
   5
   6Note: Test is always true
   7  In procedure `a',
   8  In procedure `b',
   9  In procedure `c',
  10  In conditional expression:
  11
  12    (if x 1 2)
  13
  14  Test condition has always true value of type:
  15
  16    fixnum
  17
  18Note: Test is always true
  19  In procedure `b',
  20  In conditional expression:
  21
  22    (if x 1 2)
  23
  24  Test condition has always true value of type:
  25
  26    true
  27
  28Warning: Branch values mismatch
  29  In file `scrutiny-tests.scm:XXX',
  30  In procedure `foo',
  31  In conditional expression:
  32
  33    (if x (scheme#values 1 2) (scheme#values 1 2 (scheme#+ (scheme#+ ...))))
  34
  35  The branches have different numbers of values.
  36
  37  The true branch returns 2 values:
  38
  39    (scheme#values 1 2)
  40
  41  The false branch returns 3 values:
  42
  43    (scheme#values 1 2 (scheme#+ (scheme#+ (scheme#+ ...))))
  44
  45Warning: Invalid argument
  46  In file `scrutiny-tests.scm:XXX',
  47  At the toplevel,
  48  In procedure call:
  49
  50    (bar 3 'a)
  51
  52  Argument #2 to procedure `bar' has an invalid type:
  53
  54    symbol
  55
  56  The expected type is:
  57
  58    number
  59
  60  This is the expression:
  61
  62    'a
  63
  64  Procedure `bar' has this type:
  65
  66    (#!rest number -> number)
  67
  68Warning: Wrong number of arguments
  69  In file `scrutiny-tests.scm:XXX',
  70  At the toplevel,
  71  In procedure call:
  72
  73    (scheme#string?)
  74
  75  Procedure `string?' is called with 0 arguments but 1 argument is expected.
  76
  77  Procedure `string?' from module `scheme' has this type:
  78
  79    (* --> boolean)
  80
  81Warning: Too many argument values
  82  In file `scrutiny-tests.scm:XXX',
  83  At the toplevel,
  84  In procedure call:
  85
  86    (chicken.base#print (scheme#values 1 2))
  87
  88  Argument #1 to procedure `print' returns 2 values but 1 is expected.
  89
  90  It is a call to `values' from module `scheme' which has this type:
  91
  92    (procedure (#!rest values) . *)
  93
  94  This is the expression:
  95
  96    (scheme#values 1 2)
  97
  98Warning: Not enough argument values
  99  In file `scrutiny-tests.scm:XXX',
 100  At the toplevel,
 101  In procedure call:
 102
 103    (chicken.base#print (scheme#values))
 104
 105  Argument #1 to procedure `print' does not return any values.
 106
 107  It is a call to `values' from module `scheme' which has this type:
 108
 109    (procedure (#!rest values) . *)
 110
 111  This is the expression:
 112
 113    (scheme#values)
 114
 115Warning: Invalid procedure
 116  In file `scrutiny-tests.scm:XXX',
 117  At the toplevel,
 118  In procedure call:
 119
 120    (x)
 121
 122  Variable `x18' is not a procedure.
 123
 124  It has this type:
 125
 126    fixnum
 127
 128Warning: Invalid argument
 129  In file `scrutiny-tests.scm:XXX',
 130  At the toplevel,
 131  In procedure call:
 132
 133    (scheme#+ 'a 'b)
 134
 135  Argument #1 to procedure `+' has an invalid type:
 136
 137    symbol
 138
 139  The expected type is:
 140
 141    number
 142
 143  This is the expression:
 144
 145    'a
 146
 147  Procedure `+' from module `scheme' has this type:
 148
 149    (#!rest number -> number)
 150
 151Warning: Invalid argument
 152  In file `scrutiny-tests.scm:XXX',
 153  At the toplevel,
 154  In procedure call:
 155
 156    (scheme#+ 'a 'b)
 157
 158  Argument #2 to procedure `+' has an invalid type:
 159
 160    symbol
 161
 162  The expected type is:
 163
 164    number
 165
 166  This is the expression:
 167
 168    'b
 169
 170  Procedure `+' from module `scheme' has this type:
 171
 172    (#!rest number -> number)
 173
 174Warning: Invalid assignment
 175  At the toplevel,
 176  In assignment:
 177
 178    (set! scheme#car 33)
 179
 180  Variable `car' is assigned invalid value.
 181
 182  The assigned value has this type:
 183
 184    fixnum
 185
 186  The declared type of `car' from module `scheme' is:
 187
 188    ((pair 'a *) -> 'a)
 189
 190Warning: Let binding to `gXXX' has 2 values
 191  In file `scrutiny-tests.scm:XXX',
 192  At the toplevel,
 193  In let expression:
 194
 195    (let ((gXXX (scheme#values 1 2))) (gXXX))
 196
 197  Variable `gXXX' is bound to an expression that returns 2 values.
 198
 199  It is a call to `values' from module `scheme' which has this type:
 200
 201    (procedure (#!rest values) . *)
 202
 203  This is the expression:
 204
 205    (scheme#values 1 2)
 206
 207Warning: Invalid procedure
 208  At the toplevel,
 209  In procedure call:
 210
 211    (gXXX)
 212
 213  Variable `gXXX' is not a procedure.
 214
 215  It has this type:
 216
 217    fixnum
 218
 219Note: Test is always true
 220  In procedure `foo',
 221  In conditional expression:
 222
 223    (if bar 3 (##core#undefined))
 224
 225  Test condition has always true value of type:
 226
 227    (-> *)
 228
 229Warning: Invalid argument
 230  In file `scrutiny-tests.scm:XXX',
 231  In procedure `foo2',
 232  In procedure call:
 233
 234    (scheme#string-append x "abc")
 235
 236  Argument #1 to procedure `string-append' has an invalid type:
 237
 238    number
 239
 240  The expected type is:
 241
 242    string
 243
 244  This is the expression:
 245
 246    x
 247
 248  Procedure `string-append' from module `scheme' has this type:
 249
 250    (#!rest string -> string)
 251
 252Warning: Invalid argument
 253  In file `scrutiny-tests.scm:XXX',
 254  At the toplevel,
 255  In procedure call:
 256
 257    (foo3 99)
 258
 259  Argument #1 to procedure `foo3' has an invalid type:
 260
 261    fixnum
 262
 263  The expected type is:
 264
 265    string
 266
 267  This is the expression:
 268
 269    99
 270
 271  Procedure `foo3' has this type:
 272
 273    (string -> string)
 274
 275Warning: Invalid argument
 276  In file `scrutiny-tests.scm:XXX',
 277  In procedure `foo4',
 278  In procedure call:
 279
 280    (scheme#+ x 1)
 281
 282  Argument #1 to procedure `+' has an invalid type:
 283
 284    string
 285
 286  The expected type is:
 287
 288    number
 289
 290  This is the expression:
 291
 292    x
 293
 294  Procedure `+' from module `scheme' has this type:
 295
 296    (#!rest number -> number)
 297
 298Warning: Invalid argument
 299  In file `scrutiny-tests.scm:XXX',
 300  In procedure `foo5',
 301  In procedure call:
 302
 303    (scheme#+ x 3)
 304
 305  Argument #1 to procedure `+' has an invalid type:
 306
 307    string
 308
 309  The expected type is:
 310
 311    number
 312
 313  This is the expression:
 314
 315    x
 316
 317  Procedure `+' from module `scheme' has this type:
 318
 319    (#!rest number -> number)
 320
 321Warning: Invalid argument
 322  In file `scrutiny-tests.scm:XXX',
 323  In procedure `foo6',
 324  In procedure call:
 325
 326    (scheme#+ x 3)
 327
 328  Argument #1 to procedure `+' has an invalid type:
 329
 330    string
 331
 332  The expected type is:
 333
 334    number
 335
 336  This is the expression:
 337
 338    x
 339
 340  Procedure `+' from module `scheme' has this type:
 341
 342    (#!rest number -> number)
 343
 344Warning: Invalid argument
 345  In file `scrutiny-tests.scm:XXX',
 346  At the toplevel,
 347  In procedure call:
 348
 349    (scheme#+ x 1)
 350
 351  Argument #1 to procedure `+' has an invalid type:
 352
 353    string
 354
 355  The expected type is:
 356
 357    number
 358
 359  This is the expression:
 360
 361    x
 362
 363  Procedure `+' from module `scheme' has this type:
 364
 365    (#!rest number -> number)
 366
 367Warning: Invalid argument
 368  In file `scrutiny-tests.scm:XXX',
 369  In procedure `foo10',
 370  In procedure call:
 371
 372    (foo9 x)
 373
 374  Argument #1 to procedure `foo9' has an invalid type:
 375
 376    number
 377
 378  The expected type is:
 379
 380    string
 381
 382  This is the expression:
 383
 384    x
 385
 386  Procedure `foo9' has this type:
 387
 388    (string -> symbol)
 389
 390Warning: Invalid argument
 391  In file `scrutiny-tests.scm:XXX',
 392  In procedure `foo10',
 393  In procedure call:
 394
 395    (scheme#+ x 1)
 396
 397  Argument #1 to procedure `+' has an invalid type:
 398
 399    string
 400
 401  The expected type is:
 402
 403    number
 404
 405  This is the expression:
 406
 407    x
 408
 409  Procedure `+' from module `scheme' has this type:
 410
 411    (#!rest number -> number)
 412
 413Warning: Type mismatch
 414  In file `scrutiny-tests.scm:XXX',
 415  In procedure `foo10',
 416  In expression:
 417
 418    (scheme#substring x 0 10)
 419
 420  Expression's declared and actual types do not match.
 421
 422  The declared type is:
 423
 424    pair
 425
 426  The actual type is:
 427
 428    string
 429
 430Warning: Invalid argument
 431  In file `scrutiny-tests.scm:XXX',
 432  In procedure `foo10',
 433  In procedure call:
 434
 435    (scheme#string-append (the pair (scheme#substring x 0 10)))
 436
 437  Argument #1 to procedure `string-append' has an invalid type:
 438
 439    pair
 440
 441  The expected type is:
 442
 443    string
 444
 445  This is the expression:
 446
 447    (the pair (scheme#substring x 0 10))
 448
 449  Procedure `string-append' from module `scheme' has this type:
 450
 451    (#!rest string -> string)
 452
 453Warning: Too many values
 454  In file `scrutiny-tests.scm:XXX',
 455  In procedure `foo10',
 456  In expression:
 457
 458    (scheme#values 1 2)
 459
 460  Expression returns too many values.
 461
 462  The expression returns 2 values but is declared to return:
 463
 464    *
 465
 466Warning: Not enough values
 467  In file `scrutiny-tests.scm:XXX',
 468  In procedure `foo10',
 469  In expression:
 470
 471    (scheme#values)
 472
 473  Expression returns 0 values but is declared to return:
 474
 475    *
 476
 477Warning: Invalid argument
 478  In file `scrutiny-tests.scm:XXX',
 479  In procedure `foo10',
 480  In procedure call:
 481
 482    (scheme#* x y)
 483
 484  Argument #1 to procedure `*' has an invalid type:
 485
 486    string
 487
 488  The expected type is:
 489
 490    number
 491
 492  This is the expression:
 493
 494    x
 495
 496  Procedure `*' from module `scheme' has this type:
 497
 498    (#!rest number -> number)
 499
 500Warning: Invalid argument
 501  In file `scrutiny-tests.scm:XXX',
 502  In module `foo',
 503  In procedure `blabla',
 504  In procedure call:
 505
 506    (scheme#+ 1 'x)
 507
 508  Argument #2 to procedure `+' has an invalid type:
 509
 510    symbol
 511
 512  The expected type is:
 513
 514    number
 515
 516  This is the expression:
 517
 518    'x
 519
 520  Procedure `+' from module `scheme' has this type:
 521
 522    (#!rest number -> number)
 523
 524Warning: Deprecated identifier `deprecated-procedure'
 525  At the toplevel,
 526  In expression:
 527
 528    deprecated-procedure
 529
 530  Use of deprecated identifier `deprecated-procedure'.
 531
 532Warning: Deprecated identifier `another-deprecated-procedure'
 533  At the toplevel,
 534  In expression:
 535
 536    another-deprecated-procedure
 537
 538  Use of deprecated identifier `another-deprecated-procedure'.
 539
 540  The suggested alternative is `replacement-procedure'.
 541
 542Warning: Invalid argument
 543  In file `scrutiny-tests.scm:XXX',
 544  At the toplevel,
 545  In procedure call:
 546
 547    (apply1 scheme#+ (scheme#list 'a 2 3))
 548
 549  Argument #2 to procedure `apply1' has an invalid type:
 550
 551    (list symbol fixnum fixnum)
 552
 553  The expected type is:
 554
 555    (list-of number)
 556
 557  It is a call to `list' from module `scheme' which has this type:
 558
 559    (#!rest * --> list)
 560
 561  This is the expression:
 562
 563    (scheme#list 'a 2 3)
 564
 565  Procedure `apply1' has this type:
 566
 567    ((#!rest 'a -> 'b) (list-of 'a) -> 'b)
 568
 569Warning: Invalid argument
 570  In file `scrutiny-tests.scm:XXX',
 571  At the toplevel,
 572  In procedure call:
 573
 574    (apply1 scheme#+ (scheme#cons 'a (scheme#cons 2 (scheme#cons 3 ...))))
 575
 576  Argument #2 to procedure `apply1' has an invalid type:
 577
 578    (list symbol fixnum fixnum)
 579
 580  The expected type is:
 581
 582    (list-of number)
 583
 584  It is a call to `cons' from module `scheme' which has this type:
 585
 586    ('a 'b --> (pair 'a 'b))
 587
 588  This is the expression:
 589
 590    (scheme#cons 'a (scheme#cons 2 (scheme#cons 3 '())))
 591
 592  Procedure `apply1' has this type:
 593
 594    ((#!rest 'a -> 'b) (list-of 'a) -> 'b)
 595
 596Note: Predicate is always true
 597  In file `scrutiny-tests.scm:XXX',
 598  At the toplevel,
 599  In procedure call:
 600
 601    (chicken.base#fixnum? x)
 602
 603  The predicate will always return true.
 604
 605  Procedure `fixnum?' from module `chicken.base' is a predicate for:
 606
 607    fixnum
 608
 609  The given argument has this type:
 610
 611    fixnum
 612
 613Note: Predicate is always false
 614  In file `scrutiny-tests.scm:XXX',
 615  At the toplevel,
 616  In procedure call:
 617
 618    (scheme#symbol? x)
 619
 620  The predicate will always return false.
 621
 622  Procedure `symbol?' from module `scheme' is a predicate for:
 623
 624    symbol
 625
 626  The given argument has this type:
 627
 628    (or char string)
 629
 630Note: Predicate is always false
 631  In file `scrutiny-tests.scm:XXX',
 632  At the toplevel,
 633  In procedure call:
 634
 635    (scheme#string? x)
 636
 637  The predicate will always return false.
 638
 639  Procedure `string?' from module `scheme' is a predicate for:
 640
 641    string
 642
 643  The given argument has this type:
 644
 645    (not (or char string))
 646
 647Note: Predicate is always false
 648  In file `scrutiny-tests.scm:XXX',
 649  At the toplevel,
 650  In procedure call:
 651
 652    (char-or-string? x)
 653
 654  The predicate will always return false.
 655
 656  Procedure `char-or-string?' is a predicate for:
 657
 658    (or char string)
 659
 660  The given argument has this type:
 661
 662    fixnum
 663
 664Note: Test is always false
 665  In file `scrutiny-tests.scm:XXX',
 666  At the toplevel,
 667  In conditional expression:
 668
 669    (if (char-or-string? x) (scheme#symbol? x) (scheme#string? x))
 670
 671  Test condition is always false.
 672
 673Note: Predicate is always false
 674  In file `scrutiny-tests.scm:XXX',
 675  At the toplevel,
 676  In procedure call:
 677
 678    (scheme#string? x)
 679
 680  The predicate will always return false.
 681
 682  Procedure `string?' from module `scheme' is a predicate for:
 683
 684    string
 685
 686  The given argument has this type:
 687
 688    fixnum
 689
 690Note: Predicate is always false
 691  In file `scrutiny-tests.scm:XXX',
 692  At the toplevel,
 693  In procedure call:
 694
 695    (scheme#symbol? x)
 696
 697  The predicate will always return false.
 698
 699  Procedure `symbol?' from module `scheme' is a predicate for:
 700
 701    symbol
 702
 703  The given argument has this type:
 704
 705    char
 706
 707Note: Predicate is always false
 708  In file `scrutiny-tests.scm:XXX',
 709  At the toplevel,
 710  In procedure call:
 711
 712    (scheme#string? x)
 713
 714  The predicate will always return false.
 715
 716  Procedure `string?' from module `scheme' is a predicate for:
 717
 718    string
 719
 720  The given argument has this type:
 721
 722    symbol
 723
 724Note: Predicate is always false
 725  In file `scrutiny-tests.scm:XXX',
 726  At the toplevel,
 727  In procedure call:
 728
 729    (scheme#symbol? x)
 730
 731  The predicate will always return false.
 732
 733  Procedure `symbol?' from module `scheme' is a predicate for:
 734
 735    symbol
 736
 737  The given argument has this type:
 738
 739    (or char string)
 740
 741Note: Predicate is always false
 742  In file `scrutiny-tests.scm:XXX',
 743  At the toplevel,
 744  In procedure call:
 745
 746    (scheme#string? x)
 747
 748  The predicate will always return false.
 749
 750  Procedure `string?' from module `scheme' is a predicate for:
 751
 752    string
 753
 754  The given argument has this type:
 755
 756    symbol
 757
 758Warning: Invalid argument
 759  In file `scrutiny-tests.scm:XXX',
 760  At the toplevel,
 761  In procedure call:
 762
 763    (f (scheme#list))
 764
 765  Argument #1 to procedure `f' has an invalid type:
 766
 767    null
 768
 769  The expected type is:
 770
 771    pair
 772
 773  It is a call to `list' from module `scheme' which has this type:
 774
 775    (#!rest * --> list)
 776
 777  This is the expression:
 778
 779    (scheme#list)
 780
 781  Procedure `f' has this type:
 782
 783    (pair -> *)
 784
 785Warning: Invalid argument
 786  In file `scrutiny-tests.scm:XXX',
 787  At the toplevel,
 788  In procedure call:
 789
 790    (f (scheme#list 1))
 791
 792  Argument #1 to procedure `f' has an invalid type:
 793
 794    (list fixnum)
 795
 796  The expected type is:
 797
 798    null
 799
 800  It is a call to `list' from module `scheme' which has this type:
 801
 802    (#!rest * --> list)
 803
 804  This is the expression:
 805
 806    (scheme#list 1)
 807
 808  Procedure `f' has this type:
 809
 810    (null -> *)
 811
 812Warning: Invalid argument
 813  In file `scrutiny-tests.scm:XXX',
 814  At the toplevel,
 815  In procedure call:
 816
 817    (f (scheme#cons 1 2))
 818
 819  Argument #1 to procedure `f' has an invalid type:
 820
 821    (pair fixnum fixnum)
 822
 823  The expected type is:
 824
 825    list
 826
 827  It is a call to `cons' from module `scheme' which has this type:
 828
 829    ('a 'b --> (pair 'a 'b))
 830
 831  This is the expression:
 832
 833    (scheme#cons 1 2)
 834
 835  Procedure `f' has this type:
 836
 837    (list -> *)
 838
 839Warning: Negative vector index
 840  In file `scrutiny-tests.scm:XXX',
 841  In procedure `vector-ref-warn1',
 842  In procedure call:
 843
 844    (scheme#vector-ref v1 -1)
 845
 846  Procedure `vector-ref' from module `scheme' is called with a negative index -1.
 847
 848Warning: Vector index out of range
 849  In file `scrutiny-tests.scm:XXX',
 850  In procedure `vector-ref-warn2',
 851  In procedure call:
 852
 853    (scheme#vector-ref v1 3)
 854
 855  Procedure `vector-ref' from module `scheme' is called with index `3' for a vector of length `3'.
 856
 857Warning: Vector index out of range
 858  In file `scrutiny-tests.scm:XXX',
 859  In procedure `vector-ref-warn3',
 860  In procedure call:
 861
 862    (scheme#vector-ref v1 4)
 863
 864  Procedure `vector-ref' from module `scheme' is called with index `4' for a vector of length `3'.
 865
 866Warning: Invalid argument
 867  In file `scrutiny-tests.scm:XXX',
 868  In procedure `vector-ref-standard-warn1',
 869  In procedure call:
 870
 871    (scheme#vector-ref v1 'bad)
 872
 873  Argument #2 to procedure `vector-ref' has an invalid type:
 874
 875    symbol
 876
 877  The expected type is:
 878
 879    fixnum
 880
 881  This is the expression:
 882
 883    'bad
 884
 885  Procedure `vector-ref' from module `scheme' has this type:
 886
 887    ((vector-of 'a) fixnum -> 'a)
 888
 889Warning: Negative vector index
 890  In file `scrutiny-tests.scm:XXX',
 891  In procedure `vector-set!-warn1',
 892  In procedure call:
 893
 894    (scheme#vector-set! v1 -1 'whatever)
 895
 896  Procedure `vector-set!' from module `scheme' is called with a negative index -1.
 897
 898Warning: Vector index out of range
 899  In file `scrutiny-tests.scm:XXX',
 900  In procedure `vector-set!-warn2',
 901  In procedure call:
 902
 903    (scheme#vector-set! v1 3 'whatever)
 904
 905  Procedure `vector-set!' from module `scheme' is called with index `3' for a vector of length `3'.
 906
 907Warning: Vector index out of range
 908  In file `scrutiny-tests.scm:XXX',
 909  In procedure `vector-set!-warn3',
 910  In procedure call:
 911
 912    (scheme#vector-set! v1 4 'whatever)
 913
 914  Procedure `vector-set!' from module `scheme' is called with index `4' for a vector of length `3'.
 915
 916Warning: Invalid argument
 917  In file `scrutiny-tests.scm:XXX',
 918  In procedure `vector-set!-standard-warn1',
 919  In procedure call:
 920
 921    (scheme#vector-set! v1 'bad 'whatever)
 922
 923  Argument #2 to procedure `vector-set!' has an invalid type:
 924
 925    symbol
 926
 927  The expected type is:
 928
 929    fixnum
 930
 931  This is the expression:
 932
 933    'bad
 934
 935  Procedure `vector-set!' from module `scheme' has this type:
 936
 937    (vector fixnum * -> undefined)
 938
 939Warning: Negative list index
 940  In file `scrutiny-tests.scm:XXX',
 941  In procedure `list-ref-warn1',
 942  In procedure call:
 943
 944    (scheme#list-ref l1 -1)
 945
 946  Procedure `list-ref' from module `scheme' is called with a negative index -1.
 947
 948Warning: Negative list index
 949  In file `scrutiny-tests.scm:XXX',
 950  In procedure `list-ref-warn2',
 951  In procedure call:
 952
 953    (scheme#list-ref l2 -1)
 954
 955  Procedure `list-ref' from module `scheme' is called with a negative index -1.
 956
 957Warning: Negative list index
 958  In file `scrutiny-tests.scm:XXX',
 959  In procedure `list-ref-warn3',
 960  In procedure call:
 961
 962    (scheme#list-ref l3 -1)
 963
 964  Procedure `list-ref' from module `scheme' is called with a negative index -1.
 965
 966Warning: List index out of range
 967  In file `scrutiny-tests.scm:XXX',
 968  In procedure `list-ref-warn4',
 969  In procedure call:
 970
 971    (scheme#list-ref l1 3)
 972
 973  Procedure `list-ref' from module `scheme' is called with index `3' for a list of length `3'.
 974
 975Warning: List index out of range
 976  In file `scrutiny-tests.scm:XXX',
 977  In procedure `list-ref-warn5',
 978  In procedure call:
 979
 980    (scheme#list-ref l1 4)
 981
 982  Procedure `list-ref' from module `scheme' is called with index `4' for a list of length `3'.
 983
 984Warning: Invalid argument
 985  In file `scrutiny-tests.scm:XXX',
 986  In procedure `list-ref-standard-warn1',
 987  In procedure call:
 988
 989    (scheme#list-ref l1 'bad)
 990
 991  Argument #2 to procedure `list-ref' has an invalid type:
 992
 993    symbol
 994
 995  The expected type is:
 996
 997    fixnum
 998
 999  This is the expression:
 1000
1001    'bad
1002
1003  Procedure `list-ref' from module `scheme' has this type:
1004
1005    ((list-of 'a) fixnum -> 'a)
1006
1007Warning: Invalid argument
1008  In file `scrutiny-tests.scm:XXX',
1009  In procedure `list-ref-standard-warn2',
1010  In procedure call:
1011
1012    (scheme#list-ref l1 'bad)
1013
1014  Argument #2 to procedure `list-ref' has an invalid type:
1015
1016    symbol
1017
1018  The expected type is:
1019
1020    fixnum
1021
1022  This is the expression:
1023
1024    'bad
1025
1026  Procedure `list-ref' from module `scheme' has this type:
1027
1028    ((list-of 'a) fixnum -> 'a)
1029
1030Warning: Invalid argument
1031  In file `scrutiny-tests.scm:XXX',
1032  In procedure `list-ref-standard-warn3',
1033  In procedure call:
1034
1035    (scheme#list-ref l2 'bad)
1036
1037  Argument #2 to procedure `list-ref' has an invalid type:
1038
1039    symbol
1040
1041  The expected type is:
1042
1043    fixnum
1044
1045  This is the expression:
1046
1047    'bad
1048
1049  Procedure `list-ref' from module `scheme' has this type:
1050
1051    ((list-of 'a) fixnum -> 'a)
1052
1053Warning: Invalid argument
1054  In file `scrutiny-tests.scm:XXX',
1055  In procedure `list-ref-standard-warn4',
1056  In procedure call:
1057
1058    (scheme#list-ref l2 'bad)
1059
1060  Argument #2 to procedure `list-ref' has an invalid type:
1061
1062    symbol
1063
1064  The expected type is:
1065
1066    fixnum
1067
1068  This is the expression:
1069
1070    'bad
1071
1072  Procedure `list-ref' from module `scheme' has this type:
1073
1074    ((list-of 'a) fixnum -> 'a)
1075
1076Warning: Invalid argument
1077  In file `scrutiny-tests.scm:XXX',
1078  In procedure `list-ref-type-warn1',
1079  In procedure call:
1080
1081    (chicken.base#add1 (scheme#list-ref l1 1))
1082
1083  Argument #1 to procedure `add1' has an invalid type:
1084
1085    symbol
1086
1087  The expected type is:
1088
1089    number
1090
1091  It is a call to `list-ref' from module `scheme' which has this type:
1092
1093    ((list-of 'a) fixnum -> 'a)
1094
1095  This is the expression:
1096
1097    (scheme#list-ref l1 1)
1098
1099  Procedure `add1' from module `chicken.base' has this type:
1100
1101    (number -> number)
1102
1103Warning: Invalid argument
1104  In file `scrutiny-tests.scm:XXX',
1105  In procedure `list-ref-type-warn2',
1106  In procedure call:
1107
1108    (chicken.base#add1 (scheme#list-ref l2 1))
1109
1110  Argument #1 to procedure `add1' has an invalid type:
1111
1112    symbol
1113
1114  The expected type is:
1115
1116    number
1117
1118  It is a call to `list-ref' from module `scheme' which has this type:
1119
1120    ((list-of 'a) fixnum -> 'a)
1121
1122  This is the expression:
1123
1124    (scheme#list-ref l2 1)
1125
1126  Procedure `add1' from module `chicken.base' has this type:
1127
1128    (number -> number)
1129
1130Warning: Invalid argument
1131  In file `scrutiny-tests.scm:XXX',
1132  In procedure `list-ref-type-warn3',
1133  In procedure call:
1134
1135    (chicken.base#add1 (scheme#list-ref l3 1))
1136
1137  Argument #1 to procedure `add1' has an invalid type:
1138
1139    symbol
1140
1141  The expected type is:
1142
1143    number
1144
1145  It is a call to `list-ref' from module `scheme' which has this type:
1146
1147    ((list-of 'a) fixnum -> 'a)
1148
1149  This is the expression:
1150
1151    (scheme#list-ref l3 1)
1152
1153  Procedure `add1' from module `chicken.base' has this type:
1154
1155    (number -> number)
1156
1157Warning: Invalid argument
1158  In file `scrutiny-tests.scm:XXX',
1159  In procedure `append-result-type-warn1',
1160  In procedure call:
1161
1162    (chicken.base#add1 (scheme#list-ref l1 1))
1163
1164  Argument #1 to procedure `add1' has an invalid type:
1165
1166    symbol
1167
1168  The expected type is:
1169
1170    number
1171
1172  It is a call to `list-ref' from module `scheme' which has this type:
1173
1174    ((list-of 'a) fixnum -> 'a)
1175
1176  This is the expression:
1177
1178    (scheme#list-ref l1 1)
1179
1180  Procedure `add1' from module `chicken.base' has this type:
1181
1182    (number -> number)
1183
1184Warning: Invalid argument
1185  In file `scrutiny-tests.scm:XXX',
1186  In procedure `append-result-type-warn2',
1187  In procedure call:
1188
1189    (chicken.base#add1 (scheme#list-ref l3 3))
1190
1191  Argument #1 to procedure `add1' has an invalid type:
1192
1193    symbol
1194
1195  The expected type is:
1196
1197    number
1198
1199  It is a call to `list-ref' from module `scheme' which has this type:
1200
1201    ((list-of 'a) fixnum -> 'a)
1202
1203  This is the expression:
1204
1205    (scheme#list-ref l3 3)
1206
1207  Procedure `add1' from module `chicken.base' has this type:
1208
1209    (number -> number)
1210
1211Warning: redefinition of standard binding: scheme#car