Merge tag 'upstream/0.2'

[pkg-cerco/acc-trusted.git] / extracted / compiler.ml

diff --git a/extracted/compiler.ml b/extracted/compiler.ml
index f2c456d3a4698b65525caa06b0a9f36d38a77cc2..eaae3c4b4315c406131ef82b46d77598ed0bfd7b 100644 (file)
--- a/extracted/compiler.ml
+++ b/extracted/compiler.ml
@@ -530,19 +530,24 @@ open Policy
     observe_pass -> ASM.pseudo_assembly_program -> ASM.labelled_object_code
     Errors.res **)
 let assembler observe p =
+prerr_endline "Y1";
   Obj.magic
     (Monad.m_bind0 (Monad.max_def Errors.res0)
       (Obj.magic
         (Errors.opt_to_res (Errors.msg ErrorMessages.Jump_expansion_failed)
           (Policy.jump_expansion' p))) (fun sigma_pol ->
+prerr_endline "Y2";
       let sigma = fun ppc -> (Types.pi1 sigma_pol).Types.fst ppc in
       let pol = fun ppc -> (Types.pi1 sigma_pol).Types.snd ppc in
       let i =
         Obj.magic observe Assembly_pass { Types.fst = { Types.fst = p;
           Types.snd = sigma }; Types.snd = pol }
       in
+prerr_endline "Y3";
       let p0 = Assembly.assembly p sigma pol in
+prerr_endline "Y4";
       let i0 = Obj.magic observe Object_code_pass (Types.pi1 p0) in
+prerr_endline "Y5";
       Obj.magic (Errors.OK (Types.pi1 p0))))
 
 open StructuredTraces