Changeset 2775 for extracted/simplifyCasts.ml
 Timestamp:
 Mar 5, 2013, 9:52:39 PM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/simplifyCasts.ml
r2773 r2775 359 359 (Csyntax.typeof rhs) with 360 360  Errors.OK _ > 361 (let eta 865= simplify_expr lhs target_sz target_sg in361 (let eta2087 = simplify_expr lhs target_sz target_sg in 362 362 (fun _ > 363 363 (let { Types.fst = desired_type_lhs; Types.snd = lhs1 } = 364 eta 865364 eta2087 365 365 in 366 366 (fun _ > 367 (let eta 864= simplify_expr rhs target_sz target_sg in367 (let eta2086 = simplify_expr rhs target_sz target_sg in 368 368 (fun _ > 369 369 (let { Types.fst = desired_type_rhs; Types.snd = 370 rhs1 } = eta 864370 rhs1 } = eta2086 371 371 in 372 372 (fun _ > … … 421 421  Bool.True > 422 422 (fun _ > 423 (let eta 867= simplify_expr castee target_sz target_sg in423 (let eta2089 = simplify_expr castee target_sz target_sg in 424 424 (fun _ > 425 425 (let { Types.fst = desired_type; Types.snd = castee1 } = 426 eta 867426 eta2089 427 427 in 428 428 (fun _ > … … 433 433  Bool.False > 434 434 (fun _ > 435 (let eta 866= simplify_expr castee cast_sz cast_sg435 (let eta2088 = simplify_expr castee cast_sz cast_sg 436 436 in 437 437 (fun _ > 438 438 (let { Types.fst = desired_type2; Types.snd = 439 castee2 } = eta 866439 castee2 } = eta2088 440 440 in 441 441 (fun _ > … … 451 451  Bool.False > 452 452 (fun _ > 453 (let eta 868= simplify_expr castee cast_sz cast_sg in453 (let eta2090 = simplify_expr castee cast_sz cast_sg in 454 454 (fun _ > 455 455 (let { Types.fst = desired_type2; Types.snd = 456 castee2 } = eta 868456 castee2 } = eta2090 457 457 in 458 458 (fun _ > … … 508 508 (Csyntax.typeof iffalse) with 509 509  Errors.OK _ > 510 (let eta 870= simplify_expr iftrue target_sz target_sg in510 (let eta2092 = simplify_expr iftrue target_sz target_sg in 511 511 (fun _ > 512 512 (let { Types.fst = desired_true; Types.snd = iftrue1 } = 513 eta 870513 eta2092 514 514 in 515 515 (fun _ > 516 (let eta 869= simplify_expr iffalse target_sz target_sg in516 (let eta2091 = simplify_expr iffalse target_sz target_sg in 517 517 (fun _ > 518 518 (let { Types.fst = desired_false; Types.snd = iffalse1 } = 519 eta 869519 eta2091 520 520 in 521 521 (fun _ > … … 575 575 match TypeComparison.type_eq_dec ty (Csyntax.typeof e1) with 576 576  Types.Inl _ > 577 (let eta 871= simplify_expr e1 target_sz target_sg in577 (let eta2093 = simplify_expr e1 target_sz target_sg in 578 578 (fun _ > 579 (let { Types.fst = desired_type; Types.snd = e2 } = eta 871in579 (let { Types.fst = desired_type; Types.snd = e2 } = eta2093 in 580 580 (fun _ > { Types.fst = desired_type; Types.snd = (Csyntax.Expr 581 581 ((Csyntax.Ecost (l, e2)), (Csyntax.typeof e2))) })) __)) __ … … 618 618  Csyntax.Tint (cast_sz, cast_sg) > 619 619 (fun _ > 620 (let eta 872= simplify_expr castee cast_sz cast_sg in620 (let eta2094 = simplify_expr castee cast_sz cast_sg in 621 621 (fun _ > 622 (let { Types.fst = success; Types.snd = castee1 } = eta872 in 622 (let { Types.fst = success; Types.snd = castee1 } = eta2094 623 in 623 624 (fun _ > 624 625 (match success with
Note: See TracChangeset
for help on using the changeset viewer.