Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Flambda: restore correct simplification code for over-applications

master
Mark Shinwell 2016-02-29 16:45:06 +00:00
parent 158e6fc1ae
commit ea6865d183
1 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
middle_end/inline_and_simplify.ml
View File

@ -865,13 +865,7 @@ and simplify_over_application env r ~args ~args_approxs ~function_decls
inline = inline_requested; specialise = specialise_requested; })
in
let expr = Lift_code.lift_lets_expr expr ~toplevel:true in
expr, ret r (A.value_unknown Other)
(* CR mshinwell for lwhite: This causes camlp4 to fail to build with -O3.
Can you see what's going on? This pass gets stuck in an infinite loop.
Maybe it's something to do with the approximation of [func_var] being such
that the original over-application term appears again?
simplify env r expr
*)
simplify (E.set_never_inline env) r expr
and simplify_named env r (tree : Flambda.named) : Flambda.named * R.t =
match tree with