Changeset 2933 for extracted/traces.ml
 Timestamp:
 Mar 21, 2013, 8:11:50 PM (6 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/traces.ml
r2890 r2933 142 142 (AST.ident List.list > Joint_semantics.sem_params > 143 143 Joint_semantics.genv > 'a1) > evaluation_params > 'a1 **) 144 let rec evaluation_params_rect_Type4 h_mk_evaluation_params x_26086 = 145 let { globals = globals0; sparams = sparams0; ev_genv = ev_genv0 } = 146 x_26086 147 in 144 let rec evaluation_params_rect_Type4 h_mk_evaluation_params x_3 = 145 let { globals = globals0; sparams = sparams0; ev_genv = ev_genv0 } = x_3 in 148 146 h_mk_evaluation_params globals0 sparams0 ev_genv0 149 147 … … 151 149 (AST.ident List.list > Joint_semantics.sem_params > 152 150 Joint_semantics.genv > 'a1) > evaluation_params > 'a1 **) 153 let rec evaluation_params_rect_Type5 h_mk_evaluation_params x_26088 = 154 let { globals = globals0; sparams = sparams0; ev_genv = ev_genv0 } = 155 x_26088 156 in 151 let rec evaluation_params_rect_Type5 h_mk_evaluation_params x_5 = 152 let { globals = globals0; sparams = sparams0; ev_genv = ev_genv0 } = x_5 in 157 153 h_mk_evaluation_params globals0 sparams0 ev_genv0 158 154 … … 160 156 (AST.ident List.list > Joint_semantics.sem_params > 161 157 Joint_semantics.genv > 'a1) > evaluation_params > 'a1 **) 162 let rec evaluation_params_rect_Type3 h_mk_evaluation_params x_26090 = 163 let { globals = globals0; sparams = sparams0; ev_genv = ev_genv0 } = 164 x_26090 165 in 158 let rec evaluation_params_rect_Type3 h_mk_evaluation_params x_7 = 159 let { globals = globals0; sparams = sparams0; ev_genv = ev_genv0 } = x_7 in 166 160 h_mk_evaluation_params globals0 sparams0 ev_genv0 167 161 … … 169 163 (AST.ident List.list > Joint_semantics.sem_params > 170 164 Joint_semantics.genv > 'a1) > evaluation_params > 'a1 **) 171 let rec evaluation_params_rect_Type2 h_mk_evaluation_params x_26092 = 172 let { globals = globals0; sparams = sparams0; ev_genv = ev_genv0 } = 173 x_26092 174 in 165 let rec evaluation_params_rect_Type2 h_mk_evaluation_params x_9 = 166 let { globals = globals0; sparams = sparams0; ev_genv = ev_genv0 } = x_9 in 175 167 h_mk_evaluation_params globals0 sparams0 ev_genv0 176 168 … … 178 170 (AST.ident List.list > Joint_semantics.sem_params > 179 171 Joint_semantics.genv > 'a1) > evaluation_params > 'a1 **) 180 let rec evaluation_params_rect_Type1 h_mk_evaluation_params x_26094 = 181 let { globals = globals0; sparams = sparams0; ev_genv = ev_genv0 } = 182 x_26094 172 let rec evaluation_params_rect_Type1 h_mk_evaluation_params x_11 = 173 let { globals = globals0; sparams = sparams0; ev_genv = ev_genv0 } = x_11 183 174 in 184 175 h_mk_evaluation_params globals0 sparams0 ev_genv0 … … 187 178 (AST.ident List.list > Joint_semantics.sem_params > 188 179 Joint_semantics.genv > 'a1) > evaluation_params > 'a1 **) 189 let rec evaluation_params_rect_Type0 h_mk_evaluation_params x_26096 = 190 let { globals = globals0; sparams = sparams0; ev_genv = ev_genv0 } = 191 x_26096 180 let rec evaluation_params_rect_Type0 h_mk_evaluation_params x_13 = 181 let { globals = globals0; sparams = sparams0; ev_genv = ev_genv0 } = x_13 192 182 in 193 183 h_mk_evaluation_params globals0 sparams0 ev_genv0 … … 279 269 (Joint_semantics.sem_params > Joint.joint_program > (AST.ident > 280 270 Nat.nat Types.option) > 'a1) > prog_params > 'a1 **) 281 let rec prog_params_rect_Type4 h_mk_prog_params x_2 6112=271 let rec prog_params_rect_Type4 h_mk_prog_params x_29 = 282 272 let { prog_spars = prog_spars0; prog = prog0; stack_sizes = 283 stack_sizes0 } = x_2 6112273 stack_sizes0 } = x_29 284 274 in 285 275 h_mk_prog_params prog_spars0 prog0 stack_sizes0 … … 288 278 (Joint_semantics.sem_params > Joint.joint_program > (AST.ident > 289 279 Nat.nat Types.option) > 'a1) > prog_params > 'a1 **) 290 let rec prog_params_rect_Type5 h_mk_prog_params x_ 26114=280 let rec prog_params_rect_Type5 h_mk_prog_params x_31 = 291 281 let { prog_spars = prog_spars0; prog = prog0; stack_sizes = 292 stack_sizes0 } = x_ 26114282 stack_sizes0 } = x_31 293 283 in 294 284 h_mk_prog_params prog_spars0 prog0 stack_sizes0 … … 297 287 (Joint_semantics.sem_params > Joint.joint_program > (AST.ident > 298 288 Nat.nat Types.option) > 'a1) > prog_params > 'a1 **) 299 let rec prog_params_rect_Type3 h_mk_prog_params x_ 26116=289 let rec prog_params_rect_Type3 h_mk_prog_params x_33 = 300 290 let { prog_spars = prog_spars0; prog = prog0; stack_sizes = 301 stack_sizes0 } = x_ 26116291 stack_sizes0 } = x_33 302 292 in 303 293 h_mk_prog_params prog_spars0 prog0 stack_sizes0 … … 306 296 (Joint_semantics.sem_params > Joint.joint_program > (AST.ident > 307 297 Nat.nat Types.option) > 'a1) > prog_params > 'a1 **) 308 let rec prog_params_rect_Type2 h_mk_prog_params x_ 26118=298 let rec prog_params_rect_Type2 h_mk_prog_params x_35 = 309 299 let { prog_spars = prog_spars0; prog = prog0; stack_sizes = 310 stack_sizes0 } = x_ 26118300 stack_sizes0 } = x_35 311 301 in 312 302 h_mk_prog_params prog_spars0 prog0 stack_sizes0 … … 315 305 (Joint_semantics.sem_params > Joint.joint_program > (AST.ident > 316 306 Nat.nat Types.option) > 'a1) > prog_params > 'a1 **) 317 let rec prog_params_rect_Type1 h_mk_prog_params x_ 26120=307 let rec prog_params_rect_Type1 h_mk_prog_params x_37 = 318 308 let { prog_spars = prog_spars0; prog = prog0; stack_sizes = 319 stack_sizes0 } = x_ 26120309 stack_sizes0 } = x_37 320 310 in 321 311 h_mk_prog_params prog_spars0 prog0 stack_sizes0 … … 324 314 (Joint_semantics.sem_params > Joint.joint_program > (AST.ident > 325 315 Nat.nat Types.option) > 'a1) > prog_params > 'a1 **) 326 let rec prog_params_rect_Type0 h_mk_prog_params x_ 26122=316 let rec prog_params_rect_Type0 h_mk_prog_params x_39 = 327 317 let { prog_spars = prog_spars0; prog = prog0; stack_sizes = 328 stack_sizes0 } = x_ 26122318 stack_sizes0 } = x_39 329 319 in 330 320 h_mk_prog_params prog_spars0 prog0 stack_sizes0 … … 555 545 (match s with 556 546  Joint.COST_LABEL x0 > dummy 557  Joint.CALL (x0, x1, x2) > dummy 547  Joint.CALL (f', args, dest) > 548 (match Obj.magic 549 (Monad.m_bind0 (Monad.max_def Errors.res0) 550 (Joint_semantics.block_of_call p.sparams p.globals 551 (let p0 = p.sparams.Joint_semantics.spp in 552 let globals0 = p.globals in 553 let g = p.ev_genv in g.Joint_semantics.ge) f' 554 st.Joint_semantics.st_no_pc) (fun bl > 555 Obj.magic 556 (Joint_semantics.fetch_internal_function 557 (let p0 = p.sparams.Joint_semantics.spp in 558 let globals0 = p.globals in 559 let g = p.ev_genv in g.Joint_semantics.ge) bl))) with 560  Errors.OK i_f > i_f.Types.fst 561  Errors.Error x0 > dummy) 558 562  Joint.COND (x0, x1) > dummy 559  Joint.Step_seq s0 > 560 (match Joint.Step_seq 561 s0 with 562  Joint.COST_LABEL x0 > dummy 563  Joint.CALL (f', args, dest) > 564 (match Obj.magic 565 (Monad.m_bind0 (Monad.max_def Errors.res0) 566 (Joint_semantics.block_of_call p.sparams p.globals 567 (let p0 = p.sparams.Joint_semantics.spp in 568 let globals0 = p.globals in 569 let g = p.ev_genv in g.Joint_semantics.ge) f' 570 st.Joint_semantics.st_no_pc) (fun bl > 571 Obj.magic 572 (Joint_semantics.fetch_internal_function 573 (let p0 = p.sparams.Joint_semantics.spp in 574 let globals0 = p.globals in 575 let g = p.ev_genv in g.Joint_semantics.ge) bl))) with 576  Errors.OK i_f > i_f.Types.fst 577  Errors.Error x0 > dummy) 578  Joint.COND (x0, x1) > dummy 579  Joint.Step_seq x0 > dummy)) 563  Joint.Step_seq x0 > dummy) 580 564  Joint.Final x0 > dummy 581 565  Joint.FCOND (x0, x1, x2) > dummy)
Note: See TracChangeset
for help on using the changeset viewer.