summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-misc/pr6939-no-flat-float-array.ml
diff options
context:
space:
mode:
authorNick Barnes <nick@tarides.com>2023-05-02 21:16:12 +0100
committerNick Barnes <nick@tarides.com>2023-05-02 21:16:12 +0100
commitd3a5c923939a1fc03cc14c005d61210d8c3bd546 (patch)
tree5459de2b7b6cbaa1167d18224f1ea5d256e2f3f7 /testsuite/tests/typing-misc/pr6939-no-flat-float-array.ml
parentad111da274b58d82249f92b8c79ee252bf25525b (diff)
parent23dab79a4e42856aa33816b9c79c3d4d79959cb9 (diff)
downloadocaml-d3a5c923939a1fc03cc14c005d61210d8c3bd546.tar.gz
Merge branch 'trunk' into nick-get-copy
Diffstat (limited to 'testsuite/tests/typing-misc/pr6939-no-flat-float-array.ml')
-rw-r--r--testsuite/tests/typing-misc/pr6939-no-flat-float-array.ml6
1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/typing-misc/pr6939-no-flat-float-array.ml b/testsuite/tests/typing-misc/pr6939-no-flat-float-array.ml
index 1450efc75c..a3d139ac39 100644
--- a/testsuite/tests/typing-misc/pr6939-no-flat-float-array.ml
+++ b/testsuite/tests/typing-misc/pr6939-no-flat-float-array.ml
@@ -1,6 +1,6 @@
(* TEST
- * no-flat-float-array
- ** expect
+ no-flat-float-array;
+ expect;
*)
let rec x = [| x |]; 1.;;
@@ -9,6 +9,7 @@ Line 1, characters 12-19:
1 | let rec x = [| x |]; 1.;;
^^^^^^^
Warning 10 [non-unit-statement]: this expression should have type unit.
+
val x : float = 1.
|}];;
@@ -18,6 +19,7 @@ Line 1, characters 16-17:
1 | let rec x = let u = [|y|] in 10. and y = 1.;;
^
Warning 26 [unused-var]: unused variable u.
+
val x : float = 10.
val y : float = 1.
|}];;