Revision 6394042a src/corelang.ml
| src/corelang.ml | ||
|---|---|---|
| 167 | 167 |
annot_loc = ann1.annot_loc |
| 168 | 168 |
} |
| 169 | 169 |
|
| 170 |
let update_expr_annot e annot = |
|
| 170 |
let update_expr_annot node_id e annot = |
|
| 171 |
List.iter (fun (key, _) -> |
|
| 172 |
Annotations.add_expr_ann node_id e.expr_tag key |
|
| 173 |
) annot.annots; |
|
| 171 | 174 |
{ e with expr_annot = merge_expr_annot e.expr_annot (Some annot) }
|
| 172 | 175 |
|
| 173 | 176 |
|
Also available in: Unified diff