diff options
Diffstat (limited to 'testsuite/tests/tool-toplevel/error_highlighting.ml')
| -rw-r--r-- | testsuite/tests/tool-toplevel/error_highlighting.ml | 17 |
1 files changed, 11 insertions, 6 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; +*) |