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/simplifyCasts.ml

    r3059 r3106  
    357357                       (Csyntax.typeof rhs) with
    358358               | Errors.OK _ ->
    359                  (let eta2011 = simplify_expr lhs target_sz target_sg in
     359                 (let eta2033 = simplify_expr lhs target_sz target_sg in
    360360                   (fun _ ->
    361361                   (let { Types.fst = desired_type_lhs; Types.snd = lhs1 } =
    362                       eta2011
     362                      eta2033
    363363                    in
    364364                   (fun _ ->
    365                    (let eta2010 = simplify_expr rhs target_sz target_sg in
     365                   (let eta2032 = simplify_expr rhs target_sz target_sg in
    366366                     (fun _ ->
    367367                     (let { Types.fst = desired_type_rhs; Types.snd =
    368                         rhs1 } = eta2010
     368                        rhs1 } = eta2032
    369369                      in
    370370                     (fun _ ->
     
    419419               | Bool.True ->
    420420                 (fun _ ->
    421                    (let eta2013 = simplify_expr castee target_sz target_sg in
     421                   (let eta2035 = simplify_expr castee target_sz target_sg in
    422422                     (fun _ ->
    423423                     (let { Types.fst = desired_type; Types.snd = castee1 } =
    424                         eta2013
     424                        eta2035
    425425                      in
    426426                     (fun _ ->
     
    431431                      | Bool.False ->
    432432                        (fun _ ->
    433                           (let eta2012 = simplify_expr castee cast_sz cast_sg
     433                          (let eta2034 = simplify_expr castee cast_sz cast_sg
    434434                           in
    435435                            (fun _ ->
    436436                            (let { Types.fst = desired_type2; Types.snd =
    437                                castee2 } = eta2012
     437                               castee2 } = eta2034
    438438                             in
    439439                            (fun _ ->
     
    449449               | Bool.False ->
    450450                 (fun _ ->
    451                    (let eta2014 = simplify_expr castee cast_sz cast_sg in
     451                   (let eta2036 = simplify_expr castee cast_sz cast_sg in
    452452                     (fun _ ->
    453453                     (let { Types.fst = desired_type2; Types.snd =
    454                         castee2 } = eta2014
     454                        castee2 } = eta2036
    455455                      in
    456456                     (fun _ ->
     
    506506                    (Csyntax.typeof iffalse) with
    507507            | Errors.OK _ ->
    508               (let eta2016 = simplify_expr iftrue target_sz target_sg in
     508              (let eta2038 = simplify_expr iftrue target_sz target_sg in
    509509                (fun _ ->
    510510                (let { Types.fst = desired_true; Types.snd = iftrue1 } =
    511                    eta2016
     511                   eta2038
    512512                 in
    513513                (fun _ ->
    514                 (let eta2015 = simplify_expr iffalse target_sz target_sg in
     514                (let eta2037 = simplify_expr iffalse target_sz target_sg in
    515515                  (fun _ ->
    516516                  (let { Types.fst = desired_false; Types.snd = iffalse1 } =
    517                      eta2015
     517                     eta2037
    518518                   in
    519519                  (fun _ ->
     
    573573       match TypeComparison.type_eq_dec ty (Csyntax.typeof e1) with
    574574       | Types.Inl _ ->
    575          (let eta2017 = simplify_expr e1 target_sz target_sg in
     575         (let eta2039 = simplify_expr e1 target_sz target_sg in
    576576           (fun _ ->
    577            (let { Types.fst = desired_type; Types.snd = e2 } = eta2017 in
     577           (let { Types.fst = desired_type; Types.snd = e2 } = eta2039 in
    578578           (fun _ -> { Types.fst = desired_type; Types.snd = (Csyntax.Expr
    579579           ((Csyntax.Ecost (l, e2)), (Csyntax.typeof e2))) })) __)) __
     
    616616          | Csyntax.Tint (cast_sz, cast_sg) ->
    617617            (fun _ ->
    618               (let eta2018 = simplify_expr castee cast_sz cast_sg in
     618              (let eta2040 = simplify_expr castee cast_sz cast_sg in
    619619                (fun _ ->
    620                 (let { Types.fst = success; Types.snd = castee1 } = eta2018
     620                (let { Types.fst = success; Types.snd = castee1 } = eta2040
    621621                 in
    622622                (fun _ ->
Note: See TracChangeset for help on using the changeset viewer.