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

  1;; numbers replaced with XXX by redact-gensyms.scm
  2;; prefixes: (tmp g scm:)
  3
  4Note: Predicate is always true
  5  In file `specialization-tests.scm:XXX',
  6  At the toplevel,
  7  In procedure call:
  8
  9    (scheme#string? a)
 10
 11  The predicate will always return true.
 12
 13  Procedure `string?' from module `scheme' is a predicate for:
 14
 15    string
 16
 17  The given argument has this type:
 18
 19    string
 20
 21Note: Test is always true
 22  In file `specialization-tests.scm:XXX',
 23  At the toplevel,
 24  In conditional expression:
 25
 26    (if (scheme#string? a) 'ok 'no)
 27
 28  Test condition has always true value of type:
 29
 30    true
 31
 32Note: Predicate is always false
 33  In file `specialization-tests.scm:XXX',
 34  At the toplevel,
 35  In procedure call:
 36
 37    (scheme#string? a)
 38
 39  The predicate will always return false.
 40
 41  Procedure `string?' from module `scheme' is a predicate for:
 42
 43    string
 44
 45  The given argument has this type:
 46
 47    symbol
 48
 49Note: Test is always false
 50  In file `specialization-tests.scm:XXX',
 51  At the toplevel,
 52  In conditional expression:
 53
 54    (if (scheme#string? a) 'ok 'no)
 55
 56  Test condition is always false.
 57
 58Note: Predicate is always true
 59  In file `specialization-tests.scm:XXX',
 60  At the toplevel,
 61  In procedure call:
 62
 63    (scheme#input-port? p)
 64
 65  The predicate will always return true.
 66
 67  Procedure `input-port?' from module `scheme' is a predicate for:
 68
 69    input-port
 70
 71  The given argument has this type:
 72
 73    input/output-port
 74
 75Note: Test is always true
 76  In file `specialization-tests.scm:XXX',
 77  At the toplevel,
 78  In conditional expression:
 79
 80    (if (scheme#input-port? p) 'ok 'no)
 81
 82  Test condition has always true value of type:
 83
 84    true
 85
 86Note: Predicate is always true
 87  In file `specialization-tests.scm:XXX',
 88  At the toplevel,
 89  In procedure call:
 90
 91    (scheme#output-port? p)
 92
 93  The predicate will always return true.
 94
 95  Procedure `output-port?' from module `scheme' is a predicate for:
 96
 97    output-port
 98
 99  The given argument has this type:
100
101    input/output-port
102
103Note: Test is always true
104  In file `specialization-tests.scm:XXX',
105  At the toplevel,
106  In conditional expression:
107
108    (if (scheme#output-port? p) 'ok 'no)
109
110  Test condition has always true value of type:
111
112    true