summaryrefslogtreecommitdiff
path: root/testsuite/tests/backtrace/backtrace_effects_nested.ml
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/backtrace/backtrace_effects_nested.ml')
-rw-r--r--testsuite/tests/backtrace/backtrace_effects_nested.ml30
1 files changed, 22 insertions, 8 deletions
diff --git a/testsuite/tests/backtrace/backtrace_effects_nested.ml b/testsuite/tests/backtrace/backtrace_effects_nested.ml
index 37638a200a..e9da62ab51 100644
--- a/testsuite/tests/backtrace/backtrace_effects_nested.ml
+++ b/testsuite/tests/backtrace/backtrace_effects_nested.ml
@@ -1,12 +1,12 @@
-(* TEST
+(* TEST_BELOW
+(* Blank lines added here to preserve locations. *)
+
+
+
+
+
+
-flags = "-g"
-* bytecode
-* no-flambda
-** native
-* flambda
-reference = "${test_source_directory}/backtrace_effects_nested.flambda.reference"
-** native
*)
@@ -43,3 +43,17 @@ let f () =
| _ -> None }
let () = f ()
+
+(* TEST
+ flags = "-g";
+ {
+ bytecode;
+ }{
+ no-flambda;
+ native;
+ }{
+ reference = "${test_source_directory}/backtrace_effects_nested.flambda.reference";
+ flambda;
+ native;
+ }
+*)