Skip to content
  • Erwan Jahier's avatar
    Take into account the change in Rdbg.event w.r.t. event number (rdbg 1.51). · a919ca61
    Erwan Jahier authored
    Also correct a lot of bugs.
    
    Indeed, this module was not tested when I initially wrote it, because
    of the sig faults pbs.
    
    Not that it is still not working properly, as the CPS transformation
    breaks Pascal's way of handling Lutin choice points backtracking, that
    is based on ocaml exception. Indeed consider this exemple:
    
    try
       call_to_a_func_that_traverse_the_lutin_FT ()
    with Deadlock _ ->
       the_backtrack code
    
    now, if call_to_a_func_that_traverse_the_lutin_FT returns an event,
    the ocaml try is deleted !!!
    a919ca61