diff options
| author | Jeremy Yallop <yallop@gmail.com> | 2017-01-02 15:51:24 +0000 |
|---|---|---|
| committer | Jeremy Yallop <yallop@gmail.com> | 2017-09-25 14:57:23 +0100 |
| commit | b602f3347e4db68693566bee28009b12221a61d9 (patch) | |
| tree | 333ba33ee5bdef065f484ac02e7264ab008dbe17 | |
| parent | 4f178addf0db119789a5a6a352ecd086622767ff (diff) | |
| download | ocaml-b602f3347e4db68693566bee28009b12221a61d9.tar.gz | |
let-rec check (tests): fix the test for PR6939.
The unused variable warning is no longer emitted, since the code is
rejected at the typing stage by the new let-rec check.
| -rw-r--r-- | testsuite/tests/typing-misc/pr6939.ml-flat | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/testsuite/tests/typing-misc/pr6939.ml-flat b/testsuite/tests/typing-misc/pr6939.ml-flat index 2acdd12ea7..61298de5d8 100644 --- a/testsuite/tests/typing-misc/pr6939.ml-flat +++ b/testsuite/tests/typing-misc/pr6939.ml-flat @@ -8,8 +8,6 @@ Error: This kind of expression is not allowed as right-hand side of `let rec' let rec x = let u = [|y|] in 10. and y = 1.;; [%%expect{| -Line _, characters 16-17: -Warning 26: unused variable u. Line _, characters 12-32: Error: This kind of expression is not allowed as right-hand side of `let rec' |}];; |