summaryrefslogtreecommitdiff
path: root/testsuite/tests/tool-toplevel
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/tool-toplevel')
-rw-r--r--testsuite/tests/tool-toplevel/error_highlighting.ml17
-rw-r--r--testsuite/tests/tool-toplevel/exotic_lists.ml2
-rw-r--r--testsuite/tests/tool-toplevel/install_printer.ml2
-rw-r--r--testsuite/tests/tool-toplevel/known-bugs/broken_rec_in_show.ml2
-rw-r--r--testsuite/tests/tool-toplevel/mod_use.ml4
-rw-r--r--testsuite/tests/tool-toplevel/pr6468.ml2
-rw-r--r--testsuite/tests/tool-toplevel/pr7060.ml2
-rw-r--r--testsuite/tests/tool-toplevel/pr7751.ml4
-rw-r--r--testsuite/tests/tool-toplevel/pr9701.ml10
-rw-r--r--testsuite/tests/tool-toplevel/printval.ml2
-rw-r--r--testsuite/tests/tool-toplevel/redefinition_hints.ml2
-rw-r--r--testsuite/tests/tool-toplevel/show.ml2
-rw-r--r--testsuite/tests/tool-toplevel/show_short_paths.ml4
-rw-r--r--testsuite/tests/tool-toplevel/strings.ml2
-rw-r--r--testsuite/tests/tool-toplevel/topeval.ml7
-rw-r--r--testsuite/tests/tool-toplevel/tracing.ml2
-rw-r--r--testsuite/tests/tool-toplevel/uncaught_exceptions.ml2
-rw-r--r--testsuite/tests/tool-toplevel/use_command.ml2
18 files changed, 39 insertions, 31 deletions
diff --git a/testsuite/tests/tool-toplevel/error_highlighting.ml b/testsuite/tests/tool-toplevel/error_highlighting.ml
index dbf3810387..eb6f98af1f 100644
--- a/testsuite/tests/tool-toplevel/error_highlighting.ml
+++ b/testsuite/tests/tool-toplevel/error_highlighting.ml
@@ -1,9 +1,9 @@
-(* TEST
- readonly_files = "error_highlighting_use1.ml \
- error_highlighting_use2.ml \
- error_highlighting_use3.ml \
- error_highlighting_use4.ml"
- * toplevel
+(* TEST_BELOW
+(* Blank lines added here to preserve locations. *)
+
+
+
+
*)
let x = (1 + 2) +. 3. in ();;
@@ -109,3 +109,8 @@ let x = 1 in ();;
#use "error_highlighting_use2.ml";;
#use "error_highlighting_use3.ml";;
#use "error_highlighting_use4.ml";;
+
+(* TEST
+ readonly_files = "error_highlighting_use1.ml error_highlighting_use2.ml error_highlighting_use3.ml error_highlighting_use4.ml";
+ toplevel;
+*)
diff --git a/testsuite/tests/tool-toplevel/exotic_lists.ml b/testsuite/tests/tool-toplevel/exotic_lists.ml
index bb09823bd9..a42ff0534b 100644
--- a/testsuite/tests/tool-toplevel/exotic_lists.ml
+++ b/testsuite/tests/tool-toplevel/exotic_lists.ml
@@ -1,5 +1,5 @@
(* TEST
- * toplevel
+ toplevel;
*)
module L = struct
diff --git a/testsuite/tests/tool-toplevel/install_printer.ml b/testsuite/tests/tool-toplevel/install_printer.ml
index e14a0ced8f..1f5478fcfc 100644
--- a/testsuite/tests/tool-toplevel/install_printer.ml
+++ b/testsuite/tests/tool-toplevel/install_printer.ml
@@ -1,5 +1,5 @@
(* TEST
- * toplevel
+ toplevel;
*)
(* simple printer *)
diff --git a/testsuite/tests/tool-toplevel/known-bugs/broken_rec_in_show.ml b/testsuite/tests/tool-toplevel/known-bugs/broken_rec_in_show.ml
index de8262bc0f..d496f06be4 100644
--- a/testsuite/tests/tool-toplevel/known-bugs/broken_rec_in_show.ml
+++ b/testsuite/tests/tool-toplevel/known-bugs/broken_rec_in_show.ml
@@ -1,5 +1,5 @@
(* TEST
- * expect
+ expect;
*)
(* This is a known-bug file for use of 'rec' by the '#show' command,
diff --git a/testsuite/tests/tool-toplevel/mod_use.ml b/testsuite/tests/tool-toplevel/mod_use.ml
index 4ea967e5c0..0b40a600e1 100644
--- a/testsuite/tests/tool-toplevel/mod_use.ml
+++ b/testsuite/tests/tool-toplevel/mod_use.ml
@@ -1,6 +1,6 @@
(* TEST
- readonly_files = "mod.ml"
- * expect
+ readonly_files = "mod.ml";
+ expect;
*)
#mod_use "mod.ml"
diff --git a/testsuite/tests/tool-toplevel/pr6468.ml b/testsuite/tests/tool-toplevel/pr6468.ml
index 69680ccfdd..e4dc5c8f5c 100644
--- a/testsuite/tests/tool-toplevel/pr6468.ml
+++ b/testsuite/tests/tool-toplevel/pr6468.ml
@@ -1,5 +1,5 @@
(* TEST
- * toplevel
+ toplevel;
*)
(* Make the test reproducible regardless of whether OCAMLRUNPARAM=b or not *)
diff --git a/testsuite/tests/tool-toplevel/pr7060.ml b/testsuite/tests/tool-toplevel/pr7060.ml
index e6ad740888..87e00e6010 100644
--- a/testsuite/tests/tool-toplevel/pr7060.ml
+++ b/testsuite/tests/tool-toplevel/pr7060.ml
@@ -1,5 +1,5 @@
(* TEST
- * toplevel
+ toplevel;
*)
type t = A | B;;
diff --git a/testsuite/tests/tool-toplevel/pr7751.ml b/testsuite/tests/tool-toplevel/pr7751.ml
index 40ce9ffd44..d0c42e209c 100644
--- a/testsuite/tests/tool-toplevel/pr7751.ml
+++ b/testsuite/tests/tool-toplevel/pr7751.ml
@@ -1,6 +1,6 @@
(* TEST
- include ocamlcommon
- * toplevel
+ include ocamlcommon;
+ toplevel;
*)
Parse.expression (Lexing.from_string "1");;
diff --git a/testsuite/tests/tool-toplevel/pr9701.ml b/testsuite/tests/tool-toplevel/pr9701.ml
index 4dbbc2d614..daefafbff3 100644
--- a/testsuite/tests/tool-toplevel/pr9701.ml
+++ b/testsuite/tests/tool-toplevel/pr9701.ml
@@ -1,9 +1,9 @@
(* TEST
-ocaml_script_as_argument = "true"
-ocaml_exit_status = "2"
-* setup-ocaml-build-env
-** ocaml
-*** check-ocaml-output
+ ocaml_script_as_argument = "true";
+ ocaml_exit_status = "2";
+ setup-ocaml-build-env;
+ ocaml;
+ check-ocaml-output;
*)
#1 "pr9701.ml"
diff --git a/testsuite/tests/tool-toplevel/printval.ml b/testsuite/tests/tool-toplevel/printval.ml
index 17c2744440..1305dad3fe 100644
--- a/testsuite/tests/tool-toplevel/printval.ml
+++ b/testsuite/tests/tool-toplevel/printval.ml
@@ -1,5 +1,5 @@
(* TEST
- * expect
+ expect;
*)
(* Test a success case *)
diff --git a/testsuite/tests/tool-toplevel/redefinition_hints.ml b/testsuite/tests/tool-toplevel/redefinition_hints.ml
index ee90af82db..2b691b7dd0 100644
--- a/testsuite/tests/tool-toplevel/redefinition_hints.ml
+++ b/testsuite/tests/tool-toplevel/redefinition_hints.ml
@@ -1,5 +1,5 @@
(* TEST
- * toplevel
+ toplevel;
*)
(* This is a toplevel test to trigger toplevel specific hints *)
diff --git a/testsuite/tests/tool-toplevel/show.ml b/testsuite/tests/tool-toplevel/show.ml
index 28b59d9fdb..35ad009167 100644
--- a/testsuite/tests/tool-toplevel/show.ml
+++ b/testsuite/tests/tool-toplevel/show.ml
@@ -1,5 +1,5 @@
(* TEST
- * expect
+ expect;
*)
(* this is a set of tests to test the #show functionality
diff --git a/testsuite/tests/tool-toplevel/show_short_paths.ml b/testsuite/tests/tool-toplevel/show_short_paths.ml
index 000e775234..1051a1839f 100644
--- a/testsuite/tests/tool-toplevel/show_short_paths.ml
+++ b/testsuite/tests/tool-toplevel/show_short_paths.ml
@@ -1,6 +1,6 @@
(* TEST
- flags = " -short-paths "
- * expect
+ flags = " -short-paths ";
+ expect;
*)
(* This is currently just a regression test for the bug
diff --git a/testsuite/tests/tool-toplevel/strings.ml b/testsuite/tests/tool-toplevel/strings.ml
index baf2987153..982f2dd80d 100644
--- a/testsuite/tests/tool-toplevel/strings.ml
+++ b/testsuite/tests/tool-toplevel/strings.ml
@@ -1,5 +1,5 @@
(* TEST
- * toplevel
+ toplevel;
*)
(* Test the printing of strings in the terminal *)
diff --git a/testsuite/tests/tool-toplevel/topeval.ml b/testsuite/tests/tool-toplevel/topeval.ml
index 802f04b5af..8be3c3232e 100644
--- a/testsuite/tests/tool-toplevel/topeval.ml
+++ b/testsuite/tests/tool-toplevel/topeval.ml
@@ -1,6 +1,9 @@
(* TEST
- * toplevel
- * toplevel.opt
+ {
+ toplevel;
+ }{
+ toplevel.opt;
+ }
*)
(* Various test-cases ensuring that the native and bytecode toplevels produce
diff --git a/testsuite/tests/tool-toplevel/tracing.ml b/testsuite/tests/tool-toplevel/tracing.ml
index 8a1221f63a..f76e7026cf 100644
--- a/testsuite/tests/tool-toplevel/tracing.ml
+++ b/testsuite/tests/tool-toplevel/tracing.ml
@@ -1,5 +1,5 @@
(* TEST
- * toplevel
+ toplevel;
*)
List.fold_left;;
diff --git a/testsuite/tests/tool-toplevel/uncaught_exceptions.ml b/testsuite/tests/tool-toplevel/uncaught_exceptions.ml
index 3544e1ddd0..634ef4a5b7 100644
--- a/testsuite/tests/tool-toplevel/uncaught_exceptions.ml
+++ b/testsuite/tests/tool-toplevel/uncaught_exceptions.ml
@@ -1,5 +1,5 @@
(* TEST
- * expect
+ expect;
*)
(* PR#8594 *)
diff --git a/testsuite/tests/tool-toplevel/use_command.ml b/testsuite/tests/tool-toplevel/use_command.ml
index 7bb9d8fa27..dbe28558a4 100644
--- a/testsuite/tests/tool-toplevel/use_command.ml
+++ b/testsuite/tests/tool-toplevel/use_command.ml
@@ -1,5 +1,5 @@
(* TEST
- * expect
+ expect;
*)
(* Test a success case *)