From 7b8c66f130842ad4d8fb29883b51a8409c6ff0ca Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Fri, 25 May 2007 16:06:48 +0000 Subject: [PATCH] Removing old duplicate non-schemeunit tests svn: r6298 --- .../tests/interaction-tests.ss | 150 ------------------ .../prototype-web-server/tests/misc05.ss | 51 ------ 2 files changed, 201 deletions(-) delete mode 100644 collects/web-server/prototype-web-server/tests/interaction-tests.ss delete mode 100644 collects/web-server/prototype-web-server/tests/misc05.ss diff --git a/collects/web-server/prototype-web-server/tests/interaction-tests.ss b/collects/web-server/prototype-web-server/tests/interaction-tests.ss deleted file mode 100644 index 081f1581fb..0000000000 --- a/collects/web-server/prototype-web-server/tests/interaction-tests.ss +++ /dev/null @@ -1,150 +0,0 @@ -(require "../abort-resume.ss") - -(define (id x) x) - -;; **************************************** -;; **************************************** -;; BASIC TESTS - -(module m00 "../lang.ss" - (define (id x) x) - (provide start) - (define (start i) - (id i))) - -(require (prefix m00: m00)) -(run-start (lambda () (start-interaction id)) m00:start) -(= 7 (dispatch-start 7)) -(= 8 (dispatch-start 8)) - -(module m01 "../lang.ss" - (provide start) - (define (start i) - (+ (* 1 2) (* 3 4) i))) - -(require (prefix m01: m01)) -(run-start (lambda () (start-interaction id)) m01:start) -(= 14 (dispatch-start 0)) -(= 20 (dispatch-start 6)) - -;; start-interaction may be called mutitple times -;; each call overwrites the previous interaction -;; continuation with the latest one. -; XXX Can't do this anymore -#| -(module m02 "../lang.ss" - (define (id x) x) - (+ (start-interaction id) - (start-interaction id))) - -(require m02) -(void? (dispatch-start 1)) -(= 3 (dispatch-start 2)) -(= 0 (dispatch-start -1)) -|# - -;; **************************************** -;; **************************************** -;; TESTS INVOLVING CALL/CC - -(module m03 "../lang.ss" - (provide start) - (define (start x) - (let/cc k - (+ 2 4 (k 3) 6 8)))) - -(require (prefix m03: m03)) -(run-start (lambda () (start-interaction id)) m03:start) -(= 3 (dispatch-start 'foo)) -(= 3 (dispatch-start 7)) - -;; in the following test, if you modify -;; resume to print the "stack" you will -;; see that this is not tail recursive -(module m04 "../lang.ss" - (provide start) - (define (start ln) - (let/cc k - (cond - [(null? ln) 1] - [(zero? (car ln)) (k 0)] - [else - (* (car ln) - (start (cdr ln)))])))) - -(require (prefix m04: m04)) -(run-start (lambda () (start-interaction id)) m04:start) -(= 0 (dispatch-start (list 1 2 3 4 5 6 7 0 8 9))) -(= 120 (dispatch-start (list 1 2 3 4 5))) - -;; this version captures the continuation -;; outside the recursion and should be tail -;; recursive. A "stack trace" reveals this -;; as expected. -(module m05 "../lang.ss" - (provide start) - - (define (start ln) - (let/cc escape - (mult/escape escape ln))) - - (define (mult/escape escape ln) - (cond - [(null? ln) 1] - [(zero? (car ln)) (escape 0)] - [else - (* (car ln) - (mult/escape escape (cdr ln)))]))) - -(require (prefix m05: m05)) -(run-start (lambda () (start-interaction id)) m05:start) -(= 0 (dispatch-start (list 1 2 3 0 4 5 6))) -(= 120 (dispatch-start (list 1 2 3 4 5))) - -;; **************************************** -;; **************************************** -;; TESTS INVOLVING send/suspend -; XXX Doesn't work -#| -(module table01 mzscheme - (provide store-k - lookup-k) - - (define the-table (make-hash-table)) - - (define (store-k k) - (let ([key (string->symbol (symbol->string (gensym 'key)))]) - (hash-table-put! the-table key k) - key)) - - (define (lookup-k key-pair) - (printf "key-pair = ~s~n" key-pair) - (hash-table-get the-table (car key-pair) (lambda () #f)))) - -(module m06 "../interaction.ss" - (require table01) - - (define (gn which) - (cadr - (send/suspend - (lambda (k) - (let ([ignore (printf "Please send the ~a number.~n" which)]) - (store-k k)))))) - - (let ([ignore (start-interaction lookup-k)]) - (let ([result (+ (gn "first") (gn "second"))]) - (let ([ignore (printf "The answer is: ~s~n" result)]) - result)))) - -(require m06) - -(let* ([first-key (dispatch-start 'foo)] - [second-key (dispatch `(,first-key 1))] - [third-key (dispatch `(,first-key -7))]) - (values - (= 3 (dispatch `(,second-key 2))) - (= 4 (dispatch `(,second-key 3))) - (zero? (dispatch `(,second-key -1))) - (= -7 (dispatch `(,third-key 0))) - (zero? (dispatch `(,third-key 7))))) -|# \ No newline at end of file diff --git a/collects/web-server/prototype-web-server/tests/misc05.ss b/collects/web-server/prototype-web-server/tests/misc05.ss deleted file mode 100644 index 140168851a..0000000000 --- a/collects/web-server/prototype-web-server/tests/misc05.ss +++ /dev/null @@ -1,51 +0,0 @@ -(require "../abort-resume.ss" - (lib "serialize.ss")) - -(module m08 "../lang.ss" - (provide start) - (define (gn which) - (cadr - (send/suspend - (lambda (k) - (let ([ignore (printf "Please send the ~a number.~n" which)]) - k))))) - (define (start ignore) - (letrec ([f (let ([n (gn "first")]) - (lambda (m) (+ n m)))] - [g (let ([n (gn "second")]) - (lambda (m) (+ n (f m))))]) - (let ([result (g (gn "third"))]) - (let ([ignore (printf "The answer is: ~s~n" result)]) - result))))) - -(require (prefix m08: m08)) -(run-start (lambda () (start-interaction car)) m08:start) - -;; trace *without* serialization -(define k0 (dispatch-start 'foo)) -(define k1 (dispatch (list k0 1))) -(serialize k1) -(define k2 (dispatch (list k1 2))) -(serialize k1) -(= 6 (dispatch (list k2 3))) -(= 9 (dispatch (list k2 6))) -(serialize k2) -(define k1.1 (dispatch (list k0 -1))) -(define k2.1 (dispatch (list k1.1 -2))) -(zero? (dispatch (list k2.1 3))) -(= 6 (dispatch (list k2 3))) -(serialize k2) -(serialize k1) - -;; trace *with* serialization -(define k0 (serialize (dispatch-start 'foo))) -(define k1 (serialize (dispatch (list (deserialize k0) 1)))) -(define k2 (serialize (dispatch (list (deserialize k1) 2)))) -(= 6 (dispatch (list (deserialize k2) 3))) -(= 9 (dispatch (list (deserialize k2) 6))) -k2 -(define k1.1 (serialize (dispatch (list (deserialize k0) -1)))) -(define k2.1 (serialize (dispatch (list (deserialize k1.1) -2)))) -(zero? (dispatch (list (deserialize k2.1) 3))) -(= 6 (dispatch (list (deserialize k2) 3))) -k2 \ No newline at end of file