flambda-backend: Ensure that functions are evaluated after their argu…

…ments (ocaml#353)
chambart · Oct 27, 2021 · cee74af · cee74af
1 parent 954be59
commit cee74af
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 0 deletions.
diff --git a/testsuite/tests/basic/eval_order_8.ml b/testsuite/tests/basic/eval_order_8.ml
@@ -0,0 +1,22 @@
+(* TEST *)
+
+(* closed, inlined *)
+let[@inline always] f () () = print_endline "4"
+let () = (let () = print_string "3" in f) (print_string "2") (print_string "1")
+
+(* closed, not inlined *)
+let[@inline never] f () () = print_endline "4"
+let () = (let () = print_string "3" in f) (print_string "2") (print_string "1")
+
+(* closure, inlined *)
+let[@inline never] g x =
+  (let () = print_string "3" in fun () () -> print_endline x)
+    (print_string "2") (print_string "1")
+let () = g "4"
+
+(* closure, not inlined *)
+let[@inline never] g x =
+  (let () = print_string "3" in
+   let[@inline never] f () () = print_endline x in f)
+    (print_string "2") (print_string "1")
+let () = g "4"
diff --git a/testsuite/tests/basic/eval_order_8.reference b/testsuite/tests/basic/eval_order_8.reference
@@ -0,0 +1,4 @@
+1234
+1234
+1234
+1234