Lines Matching refs:success
91 let success = ref false in
92 while Xsraw.has_watchevents xsh.con && not(!success)
94 success := callback (Xsraw.get_watchevent xsh.con)
96 !success in
107 let success = ref false in
108 while !left > 0. && not(!success)
115 if not(!success)
116 then success := process_queued_events ();
118 if not(!success)
119 then success := process_incoming_event ();
123 if not(!success)
124 then success := process_queued_events ();
130 if not(!success) then begin