Permalink
Browse files

[cleanup] cps: this exception has nothing to do anymore

  • Loading branch information...
1 parent c4cbaf9 commit 7c93de38f99de12c82d6438ba1c5b75de84a7fe3 Mathieu Barbin committed Jun 23, 2011
Showing with 0 additions and 7 deletions.
  1. +0 −7 qmlcps/qmlCpsServerLib.ml
@@ -212,13 +212,6 @@ let handler_cont k = match k.continuation_info.exn_handler with
| Some h -> magic_cont h
let catch_ml h k = { k with continuation_info = {k.continuation_info with exn_handler = Some (ccont_ml k (fun x -> h (Obj.obj x) k)) } }
let catch h k = { k with continuation_info = {k.continuation_info with exn_handler = Some (ccont_ml k (fun x -> CR.args_apply2 h (Obj.obj x) k)) } }
-(*
- Runtime error : The scheduler has nothing to do
- This event can have serveral different meaning depending on the situation.
- + At end of program : the exception is simply ignored, execution is finished
- + Waiting (blocking_wait) for a barrier : internal error, a release barrier should have been done
-*)
-exception Nothing_to_do
type 'a barrier_status =
| Computed of 'a

0 comments on commit 7c93de3

Please sign in to comment.