107 lines
		
	
	
		
			2.3 KiB
		
	
	
	
		
			Factor
		
	
	
		
			Executable File
		
	
			
		
		
	
	
			107 lines
		
	
	
		
			2.3 KiB
		
	
	
	
		
			Factor
		
	
	
		
			Executable File
		
	
| USING: kernel math namespaces io tools.test sequences vectors
 | |
| continuations debugger parser memory arrays words
 | |
| kernel.private accessors ;
 | |
| IN: continuations.tests
 | |
| 
 | |
| : (callcc1-test)
 | |
|     swap 1- tuck swap ?push
 | |
|     over 0 = [ "test-cc" get continue-with ] when
 | |
|     (callcc1-test) ;
 | |
| 
 | |
| : callcc1-test ( x -- list )
 | |
|     [
 | |
|         "test-cc" set V{ } clone (callcc1-test)
 | |
|     ] callcc1 nip ;
 | |
| 
 | |
| : callcc-namespace-test ( -- ? )
 | |
|     [
 | |
|         "test-cc" set
 | |
|         5 "x" set
 | |
|         [
 | |
|             6 "x" set "test-cc" get continue
 | |
|         ] with-scope
 | |
|     ] callcc0 "x" get 5 = ;
 | |
| 
 | |
| [ t ] [ 10 callcc1-test 10 reverse >vector = ] unit-test
 | |
| [ t ] [ callcc-namespace-test ] unit-test
 | |
| 
 | |
| [ 5 throw ] [ 5 = ] must-fail-with
 | |
| 
 | |
| [ t ] [
 | |
|     [ "Hello" throw ] ignore-errors
 | |
|     error get-global
 | |
|     "Hello" =
 | |
| ] unit-test
 | |
| 
 | |
| "!!! The following error is part of the test" print
 | |
| 
 | |
| [ ] [ [ 6 [ 12 [ "2 car" ] ] ] print-error ] unit-test
 | |
| 
 | |
| "!!! The following error is part of the test" print
 | |
| 
 | |
| [ ] [ [ [ "2 car" ] eval ] try ] unit-test
 | |
| 
 | |
| [ f throw ] must-fail
 | |
| 
 | |
| ! Weird PowerPC bug.
 | |
| [ ] [
 | |
|     [ "4" throw ] ignore-errors
 | |
|     gc
 | |
|     gc
 | |
| ] unit-test
 | |
| 
 | |
| [ f ] [ { } kernel-error? ] unit-test
 | |
| [ f ] [ { "A" "B" } kernel-error? ] unit-test
 | |
| 
 | |
| ! ! See how well callstack overflow is handled
 | |
| ! [ clear drop ] must-fail
 | |
| ! 
 | |
| ! : callstack-overflow callstack-overflow f ;
 | |
| ! [ callstack-overflow ] must-fail
 | |
| 
 | |
| : don't-compile-me { } [ ] each ;
 | |
| 
 | |
| : foo callstack "c" set 3 don't-compile-me ;
 | |
| : bar 1 foo 2 ;
 | |
| 
 | |
| [ 1 3 2 ] [ bar ] unit-test
 | |
| 
 | |
| [ t ] [ \ bar def>> "c" get innermost-frame-quot = ] unit-test
 | |
| 
 | |
| [ 1 ] [ "c" get innermost-frame-scan ] unit-test
 | |
| 
 | |
| SYMBOL: always-counter
 | |
| SYMBOL: error-counter
 | |
| 
 | |
| [
 | |
|     0 always-counter set
 | |
|     0 error-counter set
 | |
| 
 | |
|     [ ] [ always-counter inc ] [ error-counter inc ] cleanup
 | |
| 
 | |
|     [ 1 ] [ always-counter get ] unit-test
 | |
|     [ 0 ] [ error-counter get ] unit-test
 | |
| 
 | |
|     [
 | |
|         [ "a" throw ]
 | |
|         [ always-counter inc ]
 | |
|         [ error-counter inc ] cleanup
 | |
|     ] [ "a" = ] must-fail-with
 | |
| 
 | |
|     [ 2 ] [ always-counter get ] unit-test
 | |
|     [ 1 ] [ error-counter get ] unit-test
 | |
| 
 | |
|     [
 | |
|         [ ]
 | |
|         [ always-counter inc "a" throw ]
 | |
|         [ error-counter inc ] cleanup
 | |
|     ] [ "a" = ] must-fail-with
 | |
| 
 | |
|     [ 3 ] [ always-counter get ] unit-test
 | |
|     [ 1 ] [ error-counter get ] unit-test
 | |
| ] with-scope
 | |
| 
 | |
| [ ] [ [ return ] with-return ] unit-test
 | |
| 
 | |
| [ { } [ ] attempt-all ] [ attempt-all-error? ] must-fail-with
 |