-
Notifications
You must be signed in to change notification settings - Fork 8
/
go_test.ml
90 lines (80 loc) · 3.29 KB
/
go_test.ml
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
open Type
open Test
let _ =
let test_closed_chan str =
try ignore (Test.run_str ~print_exn:false str) with
| Lisp_error (ClosedChan _) -> ()
| Repl_exn (Lisp_error (ClosedChan _) :: _) -> ()
in
let test_time str time rst =
let start_time = Unix.gettimeofday () in
Test.test str rst;
let end_time = Unix.gettimeofday () in
let run_time = end_time -. start_time in
assert (run_time >= time)
in
test "(go (write 1))" "1";
test "(define ch (make-chan)) (go (write (receive ch)) (send ch 42))" "42";
test_closed_chan "(define ch (make-chan)) (close-chan ch) (close-chan ch)";
test_closed_chan "(define ch (make-chan)) (close-chan ch) (send ch 42)";
test_closed_chan "(define ch (make-chan)) (go (send ch 42)) (sleep 200) (close-chan ch)";
(* TODO
* test "(define ch (make-chan 1)) (send ch 42) (close-chan ch) (receive ch) (eof-object? (receive ch))" "42\n#t";
*)
test_time
"(define ch (make-chan))
(go (write (receive ch))
(begin
(sleep 200)
(send ch 42)))"
0.2
"42";
test_time
"(define ch (make-chan))
(go (begin
(sleep 100)
(write (receive ch)))
(begin
(send ch 42)
(sleep 100)))"
0.2
"42";
test_time
"(define ch (make-chan))
(go (begin
(sleep 200)
(write (receive ch)))
(send ch 42))"
0.2
"42";
(* TODO
test "(define ch (make-chan 1)) (send ch 42) (write (receive ch))" "42";
test "(define ch (make-chan 3))
(send ch 1) (send ch 2) (send ch 3)
(write (receive ch))
(write (receive ch))
(write (receive ch))" "123";
*)
test_exn "(define ch (make-chan)) (send ch 1)" Dead_lock;
test_exn "(define ch (make-chan)) (receive ch)" Dead_lock;
(* TODO
test_exn "(define ch (make-chan 1)) (send ch 1) (send ch 1)" Dead_lock;
*)
test_exn "(go (/ 1 0))" Division_by_zero;
test_exn "(go (/ 1 0) (begin (sleep 200) x))"
(Repl_exn [Division_by_zero; Lisp_error (UnboundVar "x")]);
test_exn "(define ch (make-chan)) (go (/ 1 0) (begin (sleep 200) x)) (receive ch)"
(Repl_exn [Division_by_zero; Lisp_error (UnboundVar "x"); Dead_lock]);
test_exn "(define ch (make-chan)) (go (/ 1 0) (begin (sleep 200) x)) (send ch 1)"
(Repl_exn [Division_by_zero; Lisp_error (UnboundVar "x"); Dead_lock]);
test "(define ch (make-chan)) (select ((receive ch) 1) ((send ch 2) 2) (else 3))" "3";
test "(define ch (make-chan)) (go (send ch 42)) (sleep 20) (select ((receive ch) 1) ((send ch 2) 2) (else 3))" "1";
test "(define ch (make-chan)) (go (send ch 42)) (sleep 20) (select ((receive ch)) ((send ch 2) 2) (else 3))" "42";
test "(define ch (make-chan)) (go (receive ch)) (sleep 20) (select ((receive ch) 1) ((send ch 2) 2) (else 3))" "2";
test "(define ch (make-chan)) (go (send ch 42)) (sleep 20) (select ((receive ch) => (lambda (x) (+ x x))) ((send ch 2) 2) (else 3))" "84";
test "(define ch (make-chan)) (go (send ch 42)) (sleep 20) (select ((receive ch) => -) ((send ch 2) 2) (else 3))" "-42";
(* TODO Dead_lock in select
test_exn "(define ch (make-chan)) (select ((send ch 42)) ((receive ch)))" Dead_lock;
*)
test "(define ch (make-chan)) (go (sleep 200) (send ch 42)) (select ((send ch 42)) ((receive ch)))" "42";
prerr_string "All passed!\n"