6 | | ======================================== scrutiny tests ... |
7 | | ../chicken typematch-tests.scm -output-file a.c -verbose -include-path .. -specialize -no-warnings |
8 | | clang a.c -o a.o -c -fno-strict-aliasing -fwrapv -DHAVE_CHICKEN_CONFIG_H -DC_ENABLE_PTABLES -Os -fomit-frame-pointer -w -I.. -I"/home/mario/local/chicken-4.8.0rc3-clang/include/chicken" |
9 | | rm a.c |
10 | | clang a.o -o a.out -L.. -L"/home/mario/local/chicken-4.8.0rc3-clang/lib" -Wl,-R"/home/mario/local/chicken-4.8.0rc3-clang/lib" -lchicken -lm -ldl |
11 | | rm a.o |
12 | | check fixnum 123 |
13 | | check string abc |
14 | | check symbol (quote abc) |
15 | | check char x |
16 | | check boolean #t |
17 | | check number (+ 1 2) |
18 | | check (list fixnum) (quote (1)) |
19 | | check (list symbol) (quote (a)) |
20 | | check (list fixnum) (list 1) |
21 | | check pair (quote (1 . 2)) |
22 | | check procedure + |
23 | | check vector (quote #(1)) |
24 | | check null (quote ()) |
25 | | check input-port (current-input-port) |
26 | | check blob (make-blob 10) |
27 | | check pointer (address->pointer 0) |
28 | | check pointer-vector (make-pointer-vector 1) |
29 | | check locative (make-locative a) |
30 | | check (struct promise) (##sys#make-structure (quote promise)) |
31 | | check (pair fixnum float) (quote (1 . 2.3)) |
32 | | check (vector symbol) (quote #(a)) |
33 | | check (list string) (quote (ok)) |
34 | | specialize fixnum |
35 | | specialize not fixnum |
36 | | specialize string |
37 | | specialize not string |
38 | | specialize symbol |
39 | | specialize not symbol |
40 | | specialize char |
41 | | specialize not char |
42 | | specialize boolean |
43 | | specialize not boolean |
44 | | specialize (list fixnum) |
45 | | specialize not (list fixnum) |
46 | | specialize pair |
47 | | specialize not pair |
48 | | specialize procedure |
49 | | specialize not procedure |
50 | | specialize (vector fixnum) |
51 | | specialize not (vector fixnum) |
52 | | specialize null |
53 | | specialize not null |
54 | | specialize undefined |
55 | | specialize not undefined |
56 | | specialize input-port |
57 | | specialize not input-port |
58 | | specialize blob |
59 | | specialize not blob |
60 | | specialize pointer |
61 | | specialize not pointer |
62 | | specialize pointer-vector |
63 | | specialize not pointer-vector |
64 | | specialize locative |
65 | | specialize not locative |
66 | | specialize (struct promise) |
67 | | specialize not (struct promise) |
68 | | specialize (pair fixnum float) |
69 | | specialize not (pair fixnum float) |
70 | | specialize (vector symbol) |
71 | | specialize not (vector symbol) |
72 | | specialize (or (list fixnum) symbol) |
73 | | specialize not (or (list fixnum) symbol) |
74 | | specialize (list fixnum) |
75 | | specialize not (list fixnum) |
76 | | specialize (or null pair) |
77 | | specialize not (or null pair) |
78 | | check predicate boolean boolean? |
79 | | check predicate boolean boolean? |
80 | | check predicate pair pair? |
81 | | check predicate null null? |
82 | | check predicate symbol symbol? |
83 | | check predicate number number? |
84 | | check predicate number number? |
85 | | check predicate fixnum exact? |
86 | | check predicate number real? |
87 | | check predicate number complex? |
88 | | check predicate float inexact? |
89 | | check predicate char char? |
90 | | check predicate string string? |
91 | | check predicate vector vector? |
92 | | check predicate procedure procedure? |
93 | | check predicate blob blob? |
94 | | check predicate (struct condition) condition? |
95 | | check predicate fixnum fixnum? |
96 | | check predicate float flonum? |
97 | | check predicate input-port input-port? |
98 | | check predicate pointer-vector pointer-vector? |
99 | | check predicate pointer pointer? |
100 | | (procedure (*) *) != (procedure () *) |
101 | | (procedure () *) != (procedure (*) *) |
102 | | (procedure (#!rest) . *) = (procedure (*) . *) |
103 | | (procedure (*) . *) = (procedure (#!rest) . *) |
104 | | (procedure () *) != (procedure () * *) |
105 | | (procedure () * *) != (procedure () *) |
106 | | ../chicken scrutiny-tests.scm -output-file a.c -verbose -include-path .. -scrutinize -ignore-repository -types ../types.db -verbose |
107 | | clang a.c -o a.o -c -fno-strict-aliasing -fwrapv -DHAVE_CHICKEN_CONFIG_H -DC_ENABLE_PTABLES -Os -fomit-frame-pointer -I.. -I"/home/mario/local/chicken-4.8.0rc3-clang/include/chicken" |
108 | | rm a.c |
109 | | clang a.o -o a.out -L.. -L"/home/mario/local/chicken-4.8.0rc3-clang/lib" -Wl,-R"/home/mario/local/chicken-4.8.0rc3-clang/lib" -lchicken -lm -ldl |
110 | | rm a.o |
111 | | --- scrutiny.expected 2012-08-31 02:00:02.000000000 -0300 |
112 | | +++ scrutiny.out 2012-09-06 21:30:51.000000000 -0300 |
113 | | @@ -97,3 +97,17 @@ |
114 | | (scrutiny-tests.scm:136) in procedure call to `+', expected argument #2 of type `number', but was given an argument of type `symbol' |
115 | | |
116 | | Warning: redefinition of standard binding: car |
117 | | \ No newline at end of file |
118 | | +In file included from a.c:11: |
119 | | +../chicken.h:2292:1: warning: control may reach end of non-void function [-Wreturn-type] |
120 | | +} |
121 | | +^ |
122 | | +../chicken.h:2299:1: warning: control may reach end of non-void function [-Wreturn-type] |
123 | | +} |
124 | | +^ |
125 | | +../chicken.h:2336:1: warning: control may reach end of non-void function [-Wreturn-type] |
126 | | +} |
127 | | +^ |
128 | | +../chicken.h:2344:1: warning: control may reach end of non-void function [-Wreturn-type] |
129 | | +} |
130 | | +^ |
131 | | +4 warnings generated. |
132 | | make[1]: *** [check] Error 1 |
133 | | make[1]: Leaving directory `/home/mario/src/chicken-4.8.0rc3' |
134 | | make: *** [check] Error 2 |
| 6 | ../chicken.h:2292:1: warning: control may reach end of non-void function [-Wreturn-type] |
| 7 | } |
| 8 | ^ |
| 9 | ../chicken.h:2299:1: warning: control may reach end of non-void function [-Wreturn-type] |
| 10 | } |
| 11 | ^ |
| 12 | ../chicken.h:2336:1: warning: control may reach end of non-void function [-Wreturn-type] |
| 13 | } |
| 14 | ^ |
| 15 | ../chicken.h:2344:1: warning: control may reach end of non-void function [-Wreturn-type] |
| 16 | } |
| 17 | ^ |
| 18 | 4 warnings generated. |