1 USING: accessors alien alien.accessors arrays assocs byte-arrays
2 continuations debugger grouping io.streams.string kernel
3 kernel.private literals locals.backend math memory namespaces
4 prettyprint sequences sequences.private tools.test words ;
7 { 0 } [ f size ] unit-test
8 { t } [ [ \ = \ = ] all-equal? ] unit-test
23 } [ 1 2 10 iota [ 3array ] 2with map ] unit-test
25 ! Don't leak extra roots if error is thrown
26 { } [ 1000 [ [ 3 throw ] ignore-errors ] times ] unit-test
28 { } [ 1000 [ [ -1 f <array> ] ignore-errors ] times ] unit-test
30 ! Make sure we report the correct error on stack underflow
32 2 head ${ KERNEL-ERROR ERROR-DATASTACK-UNDERFLOW } =
38 3 [ { } set-retainstack ] dip ]
39 [ 2 head ${ KERNEL-ERROR ERROR-RETAINSTACK-UNDERFLOW } =
44 : overflow-d ( -- ) 3 overflow-d ;
46 : (overflow-d-alt) ( -- n ) 3 ;
48 : overflow-d-alt ( -- ) (overflow-d-alt) overflow-d-alt ;
50 : overflow-r ( -- ) 3 load-local overflow-r ;
53 { overflow-d (overflow-d-alt) overflow-d-alt overflow-r }
54 [ t "no-compile" set-word-prop ] each
58 2 head ${ KERNEL-ERROR ERROR-DATASTACK-OVERFLOW } =
64 2 head ${ KERNEL-ERROR ERROR-DATASTACK-OVERFLOW } =
67 { } [ [ :c ] with-string-writer drop ] unit-test
70 2 head ${ KERNEL-ERROR ERROR-RETAINSTACK-OVERFLOW } =
75 [ -7 <byte-array> ] must-fail
77 { 3 } [ t 3 and ] unit-test
78 { f } [ f 3 and ] unit-test
79 { f } [ 3 f and ] unit-test
80 { 4 } [ 4 6 or ] unit-test
81 { 6 } [ f 6 or ] unit-test
82 { f } [ 1 2 xor ] unit-test
83 { 1 } [ 1 f xor ] unit-test
84 { 2 } [ f 2 xor ] unit-test
85 { f } [ f f xor ] unit-test
90 [ 1 [ call ] dip ] must-fail
93 [ 1 2 [ call ] dip ] must-fail
96 { 5 } [ 1 [ 2 2 + ] dip + ] unit-test
98 [ [ ] keep ] must-fail
100 { 6 } [ 2 [ sq ] keep + ] unit-test
102 [ [ ] 2keep ] must-fail
103 [ 1 [ ] 2keep ] must-fail
104 { 3 1 2 } [ 1 2 [ 2drop 3 ] 2keep ] unit-test
106 { 0 } [ f [ sq ] [ 0 ] if* ] unit-test
107 { 4 } [ 2 [ sq ] [ 0 ] if* ] unit-test
109 { 0 } [ f [ 0 ] unless* ] unit-test
110 { t } [ t [ "Hello" ] unless* ] unit-test
112 { "2\n" } [ [ 1 2 [ . ] [ sq . ] ?if ] with-string-writer ] unit-test
113 { "9\n" } [ [ 3 f [ . ] [ sq . ] ?if ] with-string-writer ] unit-test
115 { f } [ f (clone) ] unit-test
116 { -123 } [ -123 (clone) ] unit-test
118 { 6 2 } [ 1 2 [ 5 + ] dip ] unit-test
120 { } [ get-callstack set-callstack ] unit-test
122 [ 3drop get-datastack ] must-fail
125 ! Doesn't compile; important
128 << \ foo t "no-compile" set-word-prop >>
130 [ drop foo ] must-fail
134 : (loop) ( a b c d -- )
135 [ pick ] dip swap [ pick ] dip swap
136 < [ [ 1 + ] 3dip (loop) ] [ 4drop ] if ; inline recursive
139 H{ } values swap [ dup length swap ] dip [ 0 ] 3dip (loop) ;
143 ! Discovered on Windows
144 : total-failure-1 ( -- a ) "" [ ] map unimplemented ;
146 [ total-failure-1 ] must-fail
148 { 1 1 2 2 3 3 } [ 1 2 3 [ dup ] tri@ ] unit-test
149 { 1 4 9 } [ 1 2 3 [ sq ] tri@ ] unit-test
150 [ [ sq ] tri@ ] must-infer
152 { 4 } [ 1 { [ 1 ] [ 2 ] } dispatch sq ] unit-test
154 ! Test traceback accuracy
155 : last-frame ( -- pair )
156 error-continuation get call>> callstack>array 6 head* 3 tail* ;
159 { [ 1 2 [ 3 throw ] call 4 ] [ 1 2 [ 3 throw ] call 4 ] 3 }
161 [ [ 1 2 [ 3 throw ] call 4 ] call ] ignore-errors
166 { [ 1 2 [ 3 throw ] dip 4 ] [ 1 2 [ 3 throw ] dip 4 ] 3 }
168 [ [ 1 2 [ 3 throw ] dip 4 ] call ] ignore-errors
173 { [ 1 2 3 throw [ ] call 4 ] [ 1 2 3 throw [ ] call 4 ] 3 }
175 [ [ 1 2 3 throw [ ] call 4 ] call ] ignore-errors
180 { [ 1 2 3 throw [ ] dip 4 ] [ 1 2 3 throw [ ] dip 4 ] 3 }
182 [ [ 1 2 3 throw [ ] dip 4 ] call ] ignore-errors
187 { [ 1 2 3 throw [ ] [ ] if 4 ] [ 1 2 3 throw [ ] [ ] if 4 ] 3 }
189 [ [ 1 2 3 throw [ ] [ ] if 4 ] call ] ignore-errors
193 { 10 2 3 4 5 } [ 1 2 3 4 5 [ 10 * ] 4dip ] unit-test
195 { 3 -1 5/6 } [ 1 2 3 4 5 6 [ + ] [ - ] [ / ] 2tri* ] unit-test
197 { { 1 2 } { 3 4 } { 5 6 } } [ 1 2 3 4 5 6 [ 2array ] 2tri@ ] unit-test
199 { t } [ { } identity-hashcode fixnum? ] unit-test
200 { 123 } [ 123 identity-hashcode ] unit-test
201 { t } [ f identity-hashcode fixnum? ] unit-test
203 ! Make sure memory protection faults work
204 [ f 0 alien-unsigned-1 ] [ vm-error? ] must-fail-with
205 [ 1 <alien> 0 alien-unsigned-1 ] [ vm-error? ] must-fail-with
207 { 1 2 3 1 2 3 } [ 1 2 3 3dup ] unit-test
208 { 1 2 3 4 1 2 3 4 } [ 1 2 3 4 4dup ] unit-test