Project

General

Profile

Revision 5fb5b031 src/normalization.ml

View differences:

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