From 18b7332e738d4b97bf3bb9dfa6600277222aab33 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 5 Apr 2009 10:48:11 -0400 Subject: Threads demo --- demo/threads.ur | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 demo/threads.ur (limited to 'demo/threads.ur') diff --git a/demo/threads.ur b/demo/threads.ur new file mode 100644 index 00000000..ac6d8cee --- /dev/null +++ b/demo/threads.ur @@ -0,0 +1,17 @@ +fun main () = + buf <- Buffer.create; + let + fun loop prefix delay = + let + fun loop' n = + Buffer.write buf (prefix ^ ": Message #" ^ show n); + sleep delay; + loop' (n + 1) + in + loop' + end + in + return + + + end -- cgit v1.2.3