annotate demo/threads.ur @ 769:efceae06df17

allow/deny working in Mono_opt
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 13:37:52 -0400
parents 755a71c99be5
children
rev   line source
adamc@697 1 fun main () =
adamc@697 2 buf <- Buffer.create;
adamc@697 3 let
adamc@697 4 fun loop prefix delay =
adamc@697 5 let
adamc@697 6 fun loop' n =
adamc@697 7 Buffer.write buf (prefix ^ ": Message #" ^ show n);
adamc@697 8 sleep delay;
adamc@697 9 loop' (n + 1)
adamc@697 10 in
adamc@697 11 loop'
adamc@697 12 end
adamc@697 13 in
adamc@697 14 return <xml><body onload={spawn (loop "A" 5000 0); spawn (loop "B" 3000 100)}>
adamc@697 15 <dyn signal={Buffer.render buf}/>
adamc@697 16 </body></xml>
adamc@697 17 end