Ignore:
Timestamp:
Apr 6, 2013, 7:35:25 PM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/extracted/compiler.ml

    r3083 r3106  
    531531    Errors.res **)
    532532let assembler observe p =
     533prerr_endline "Y1";
    533534  Obj.magic
    534535    (Monad.m_bind0 (Monad.max_def Errors.res0)
     
    536537        (Errors.opt_to_res (Errors.msg ErrorMessages.Jump_expansion_failed)
    537538          (Policy.jump_expansion' p))) (fun sigma_pol ->
     539prerr_endline "Y2";
    538540      let sigma = fun ppc -> (Types.pi1 sigma_pol).Types.fst ppc in
    539541      let pol = fun ppc -> (Types.pi1 sigma_pol).Types.snd ppc in
     
    542544          Types.snd = sigma }; Types.snd = pol }
    543545      in
     546prerr_endline "Y3";
    544547      let p0 = Assembly.assembly p sigma pol in
     548prerr_endline "Y4";
    545549      let i0 = Obj.magic observe Object_code_pass (Types.pi1 p0) in
     550prerr_endline "Y5";
    546551      Obj.magic (Errors.OK (Types.pi1 p0))))
    547552
Note: See TracChangeset for help on using the changeset viewer.