Project

General

Profile

Revision 5fb5b031

View differences:

src/_tags
1 1
"backends/C": include
2 2
"backends/Horn": include
3
"plugins/scopes": include
3 4
<**/.svn>: -traverse
4 5
<**/.svn>: not_hygienic
5 6
"main_lustre_compiler.native": package(ocamlgraph)
6 7
"main_lustre_compiler.native": use_str
7 8
"main_lustre_compiler.native": use_unix
9
"main_lustre_compiler.native": use_nums
8 10
<*.ml{,i}>: package(ocamlgraph)
9 11
<*.ml{,i}>: use_str
10 12
<*.ml{,i}>: use_unix
src/normalization.ml
217 217
      normalize_expr ~alias:alias node offsets defvars norm_expr
218 218
    else
219 219
      mk_expr_alias_opt (alias && not (Basic_library.is_expr_internal_fun expr)) node defvars norm_expr
220
  | Expr_arrow (e1,e2) when !unfold_arrow_active && not (is_expr_once expr) -> (* Here we differ from Colaco paper: arrows are pushed to the top *)
220
  | Expr_arrow (e1,e2) when !unfold_arrow_active && not (is_expr_once expr) ->
221
    (* Here we differ from Colaco paper: arrows are pushed to the top *)
221 222
    normalize_expr ~alias:alias node offsets defvars (unfold_arrow expr)
222 223
  | Expr_arrow (e1,e2) ->
223 224
    let defvars, norm_e1 = normalize_expr node offsets defvars e1 in

Also available in: Unified diff