Project

General

Profile

Revision 566dbf49 src/corelang.ml

View differences:

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