diff options
Diffstat (limited to 'otherlibs/threads/Tests/test6.ml')
| -rw-r--r-- | otherlibs/threads/Tests/test6.ml | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/otherlibs/threads/Tests/test6.ml b/otherlibs/threads/Tests/test6.ml deleted file mode 100644 index b846858e56..0000000000 --- a/otherlibs/threads/Tests/test6.ml +++ /dev/null @@ -1,17 +0,0 @@ -open Event - -let ch = (new_channel() : string channel) - -let rec f tag msg = - select [ - send ch msg; - wrap (receive ch) (fun x -> print_string(tag ^ ": " ^ x); print_newline()) - ]; - f tag msg - -let _ = - Thread.create (f "A") "hello"; - f "B" "world"; - exit 0 - - |