Ignore:
Timestamp:
Feb 25, 2013, 9:54:49 PM (8 years ago)
Author:
sacerdot
Message:

Exported again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/simplifyCasts.ml

    r2717 r2730  
    361361                       (Csyntax.typeof rhs) with
    362362               | Errors.OK _ ->
    363                  (let eta2519 = simplify_expr lhs target_sz target_sg in
     363                 (let eta302 = simplify_expr lhs target_sz target_sg in
    364364                   (fun _ ->
    365365                   (let { Types.fst = desired_type_lhs; Types.snd = lhs1 } =
    366                       eta2519
     366                      eta302
    367367                    in
    368368                   (fun _ ->
    369                    (let eta2518 = simplify_expr rhs target_sz target_sg in
     369                   (let eta301 = simplify_expr rhs target_sz target_sg in
    370370                     (fun _ ->
    371371                     (let { Types.fst = desired_type_rhs; Types.snd =
    372                         rhs1 } = eta2518
     372                        rhs1 } = eta301
    373373                      in
    374374                     (fun _ ->
     
    423423               | Bool.True ->
    424424                 (fun _ ->
    425                    (let eta2521 = simplify_expr castee target_sz target_sg in
     425                   (let eta304 = simplify_expr castee target_sz target_sg in
    426426                     (fun _ ->
    427427                     (let { Types.fst = desired_type; Types.snd = castee1 } =
    428                         eta2521
     428                        eta304
    429429                      in
    430430                     (fun _ ->
     
    435435                      | Bool.False ->
    436436                        (fun _ ->
    437                           (let eta2520 = simplify_expr castee cast_sz cast_sg
     437                          (let eta303 = simplify_expr castee cast_sz cast_sg
    438438                           in
    439439                            (fun _ ->
    440440                            (let { Types.fst = desired_type2; Types.snd =
    441                                castee2 } = eta2520
     441                               castee2 } = eta303
    442442                             in
    443443                            (fun _ ->
     
    453453               | Bool.False ->
    454454                 (fun _ ->
    455                    (let eta2522 = simplify_expr castee cast_sz cast_sg in
     455                   (let eta305 = simplify_expr castee cast_sz cast_sg in
    456456                     (fun _ ->
    457457                     (let { Types.fst = desired_type2; Types.snd =
    458                         castee2 } = eta2522
     458                        castee2 } = eta305
    459459                      in
    460460                     (fun _ ->
     
    510510                    (Csyntax.typeof iffalse) with
    511511            | Errors.OK _ ->
    512               (let eta2524 = simplify_expr iftrue target_sz target_sg in
     512              (let eta307 = simplify_expr iftrue target_sz target_sg in
    513513                (fun _ ->
    514514                (let { Types.fst = desired_true; Types.snd = iftrue1 } =
    515                    eta2524
     515                   eta307
    516516                 in
    517517                (fun _ ->
    518                 (let eta2523 = simplify_expr iffalse target_sz target_sg in
     518                (let eta306 = simplify_expr iffalse target_sz target_sg in
    519519                  (fun _ ->
    520520                  (let { Types.fst = desired_false; Types.snd = iffalse1 } =
    521                      eta2523
     521                     eta306
    522522                   in
    523523                  (fun _ ->
     
    577577       match TypeComparison.type_eq_dec ty (Csyntax.typeof e2) with
    578578       | Types.Inl _ ->
    579          (let eta2525 = simplify_expr e2 target_sz target_sg in
     579         (let eta308 = simplify_expr e2 target_sz target_sg in
    580580           (fun _ ->
    581            (let { Types.fst = desired_type; Types.snd = e3 } = eta2525 in
     581           (let { Types.fst = desired_type; Types.snd = e3 } = eta308 in
    582582           (fun _ -> { Types.fst = desired_type; Types.snd = (Csyntax.Expr
    583583           ((Csyntax.Ecost (l, e3)), (Csyntax.typeof e3))) })) __)) __
     
    620620          | Csyntax.Tint (cast_sz, cast_sg) ->
    621621            (fun _ ->
    622               (let eta2526 = simplify_expr castee cast_sz cast_sg in
     622              (let eta309 = simplify_expr castee cast_sz cast_sg in
    623623                (fun _ ->
    624                 (let { Types.fst = success; Types.snd = castee1 } = eta2526
    625                  in
     624                (let { Types.fst = success; Types.snd = castee1 } = eta309 in
    626625                (fun _ ->
    627626                (match success with
Note: See TracChangeset for help on using the changeset viewer.