Ignore:
Timestamp:
Mar 15, 2013, 11:11:45 PM (7 years ago)
Author:
sacerdot
Message:

Exported again, now the execution is correct up to LIN for a simple program.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/semantics.ml

    r2875 r2890  
    326326    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    327327    preclassified_system_pass -> 'a1 **)
    328 let rec preclassified_system_pass_rect_Type4 p h_mk_preclassified_system_pass x_3 =
    329   let pcs_pcs = x_3 in h_mk_preclassified_system_pass pcs_pcs __
     328let rec preclassified_system_pass_rect_Type4 p h_mk_preclassified_system_pass x_26418 =
     329  let pcs_pcs = x_26418 in h_mk_preclassified_system_pass pcs_pcs __
    330330
    331331(** val preclassified_system_pass_rect_Type5 :
    332332    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    333333    preclassified_system_pass -> 'a1 **)
    334 let rec preclassified_system_pass_rect_Type5 p h_mk_preclassified_system_pass x_5 =
    335   let pcs_pcs = x_5 in h_mk_preclassified_system_pass pcs_pcs __
     334let rec preclassified_system_pass_rect_Type5 p h_mk_preclassified_system_pass x_26420 =
     335  let pcs_pcs = x_26420 in h_mk_preclassified_system_pass pcs_pcs __
    336336
    337337(** val preclassified_system_pass_rect_Type3 :
    338338    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    339339    preclassified_system_pass -> 'a1 **)
    340 let rec preclassified_system_pass_rect_Type3 p h_mk_preclassified_system_pass x_7 =
    341   let pcs_pcs = x_7 in h_mk_preclassified_system_pass pcs_pcs __
     340let rec preclassified_system_pass_rect_Type3 p h_mk_preclassified_system_pass x_26422 =
     341  let pcs_pcs = x_26422 in h_mk_preclassified_system_pass pcs_pcs __
    342342
    343343(** val preclassified_system_pass_rect_Type2 :
    344344    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    345345    preclassified_system_pass -> 'a1 **)
    346 let rec preclassified_system_pass_rect_Type2 p h_mk_preclassified_system_pass x_9 =
    347   let pcs_pcs = x_9 in h_mk_preclassified_system_pass pcs_pcs __
     346let rec preclassified_system_pass_rect_Type2 p h_mk_preclassified_system_pass x_26424 =
     347  let pcs_pcs = x_26424 in h_mk_preclassified_system_pass pcs_pcs __
    348348
    349349(** val preclassified_system_pass_rect_Type1 :
    350350    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    351351    preclassified_system_pass -> 'a1 **)
    352 let rec preclassified_system_pass_rect_Type1 p h_mk_preclassified_system_pass x_11 =
    353   let pcs_pcs = x_11 in h_mk_preclassified_system_pass pcs_pcs __
     352let rec preclassified_system_pass_rect_Type1 p h_mk_preclassified_system_pass x_26426 =
     353  let pcs_pcs = x_26426 in h_mk_preclassified_system_pass pcs_pcs __
    354354
    355355(** val preclassified_system_pass_rect_Type0 :
    356356    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    357357    preclassified_system_pass -> 'a1 **)
    358 let rec preclassified_system_pass_rect_Type0 p h_mk_preclassified_system_pass x_13 =
    359   let pcs_pcs = x_13 in h_mk_preclassified_system_pass pcs_pcs __
     358let rec preclassified_system_pass_rect_Type0 p h_mk_preclassified_system_pass x_26428 =
     359  let pcs_pcs = x_26428 in h_mk_preclassified_system_pass pcs_pcs __
    360360
    361361(** val pcs_pcs :
     
    406406let pcs_pcs__o__pcs_exec__o__es1 x0 x1 =
    407407  Measurable.pcs_exec__o__es1 (pcs_pcs x0 x1)
    408 
    409 exception NotImplementedYet
    410408
    411409(** val preclassified_system_of_pass :
     
    449447  (fun x ->
    450448    Joint_fullexec.joint_preclassified_system LIN_semantics.lIN_semantics)
    451 | Compiler.Assembly_pass -> (fun prog -> raise NotImplementedYet)
     449| Compiler.Assembly_pass -> assert false (* absurd case *)
    452450| Compiler.Object_code_pass ->
    453451  (fun prog -> Interpret2.oC_preclassified_system (Obj.magic prog))
     
    459457    Types.unit0 **)
    460458let run_and_print pass prog n print_pass print_event print_error print_exit =
    461  try
    462459  let pcs = preclassified_system_of_pass pass prog in
    463460  let prog0 = prog in
     
    477474      | Errors.Error msg -> print_error msg)
    478475   | Errors.Error msg -> print_error msg)
    479  with
    480   NotImplementedYet -> Types.It
    481 
     476
Note: See TracChangeset for help on using the changeset viewer.