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