diff options
Diffstat (limited to 'otherlibs/threads/Tests/test7.ml')
| -rw-r--r-- | otherlibs/threads/Tests/test7.ml | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/otherlibs/threads/Tests/test7.ml b/otherlibs/threads/Tests/test7.ml deleted file mode 100644 index e6bd1d810d..0000000000 --- a/otherlibs/threads/Tests/test7.ml +++ /dev/null @@ -1,28 +0,0 @@ -open Event - -let add_ch = new_channel() -let sub_ch = new_channel() -let read_ch = new_channel() - -let rec accu n = - select [ - wrap (receive add_ch) (fun x -> accu (n+x)); - wrap (receive sub_ch) (fun x -> accu (n-x)); - wrap (send read_ch n) (fun () -> accu n) - ] - -let rec sender chan value = - sync(send chan value); sender chan value - -let read () = - print_int(sync(receive read_ch)); print_newline() - -let main () = - Thread.create accu 0; - Thread.create (sender add_ch) 1; - Thread.create (sender sub_ch) 1; - while true do read() done - -let _ = Printexc.catch main () - - |