Project

General

Profile

« Previous | Next » 

Revision 566dbf49

Added by Pierre-Loïc Garoche almost 7 years ago

Added local inlining using the keyword (*! /inlining/:true *)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@426 041b043f-8d7c-46b2-b46e-ef0dd855326e

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