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