Changeset 1872 for src/Clight/SimplifyCasts.ma
 Timestamp:
 Apr 4, 2012, 6:48:23 PM (9 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

src/Clight/SimplifyCasts.ma
r1224 r1872 114 114 〈false, Expr (Ebinop op e1' e2') ty〉 115 115 else 116 let 〈desired_type1, e1'〉 ≝ simplify_expr e1 tyin117 let 〈desired_type2, e2'〉 ≝ simplify_expr e2 tyin116 let 〈desired_type1, e1'〉 ≝ simplify_expr e1 (typeof e1) in 117 let 〈desired_type2, e2'〉 ≝ simplify_expr e2 (typeof e2) in 118 118 〈type_eq ty ty', Expr (Ebinop op e1' e2') ty〉 119 119  Ecast ty e1 ⇒
Note: See TracChangeset
for help on using the changeset viewer.