diff options
| -rw-r--r-- | testsuite/tests/typing-warnings/application.compilers.reference | 13 | ||||
| -rw-r--r-- | testsuite/tests/typing-warnings/application.ml | 21 |
2 files changed, 20 insertions, 14 deletions
diff --git a/testsuite/tests/typing-warnings/application.compilers.reference b/testsuite/tests/typing-warnings/application.compilers.reference deleted file mode 100644 index 6905f77336..0000000000 --- a/testsuite/tests/typing-warnings/application.compilers.reference +++ /dev/null @@ -1,13 +0,0 @@ -- : unit = () -Line 2, characters 15-18: - let _ = ignore (+);; - ^^^ -Warning 5: this function application is partial, -maybe some arguments are missing. -- : unit = () -Line 1, characters 19-20: - let _ = raise Exit 3;; - ^ -Warning 20: this argument will not be used by the function. -Exception: Stdlib.Pervasives.Exit. - diff --git a/testsuite/tests/typing-warnings/application.ml b/testsuite/tests/typing-warnings/application.ml index 0232adc947..31715bd7c6 100644 --- a/testsuite/tests/typing-warnings/application.ml +++ b/testsuite/tests/typing-warnings/application.ml @@ -1,10 +1,29 @@ (* TEST flags = " -w A -strict-sequence " - * toplevel + * expect *) (* Ignore OCAMLRUNPARAM=b to be reproducible *) Printexc.record_backtrace false;; +[%%expect {| +- : unit = () +|}] let _ = ignore (+);; +[%%expect {| +Line 1, characters 15-18: + let _ = ignore (+);; + ^^^ +Warning 5: this function application is partial, +maybe some arguments are missing. +- : unit = () +|}] + let _ = raise Exit 3;; +[%%expect {| +Line 1, characters 19-20: + let _ = raise Exit 3;; + ^ +Warning 20: this argument will not be used by the function. +Exception: Stdlib.Pervasives.Exit. +|}] |