Changeset 2431 for Deliverables/D2.2
- Timestamp:
- Nov 6, 2012, 1:15:40 PM (8 years ago)
- Location:
- Deliverables/D2.2/8051-matita-out
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D2.2/8051-matita-out
-
Property
svn:mergeinfo
set to
/Deliverables/D2.2/8051 merged eligible
-
Property
svn:mergeinfo
set to
-
Deliverables/D2.2/8051-matita-out/cparser/AddCasts.ml
r486 r2431 100 100 in { edesc = desc; etyp = e.etyp } 101 101 | EConditional(e1, e2, e3) -> 102 let e2' = add_expr env e2 in 103 let e3' = add_expr env e3 in 102 104 { edesc = 103 EConditional(add_expr env e1, add_expr env e2, add_expr env e3);105 EConditional(add_expr env e1, cast env e2' e.etyp, cast env e3' e.etyp); 104 106 etyp = e.etyp } 105 107 | ECast(ty, e1) ->
Note: See TracChangeset
for help on using the changeset viewer.