summaryrefslogtreecommitdiff
path: root/testsuite
diff options
context:
space:
mode:
authorHugo Heuzard <hugo.heuzard@gmail.com>2019-12-15 12:24:02 +0800
committerHugo Heuzard <hugo.heuzard@gmail.com>2019-12-15 12:24:02 +0800
commit843735d55c2955f4153b0f614ef9b0a305a7a84a (patch)
tree6d947c17e49f64f7e95c4025a2b6c53b36469a4d /testsuite
parentba4a8acc54f3c3ef65a9e33ff4adda0d264aef3a (diff)
downloadocaml-843735d55c2955f4153b0f614ef9b0a305a7a84a.tar.gz
fix spurious 'unused open' with class
Diffstat (limited to 'testsuite')
-rw-r--r--testsuite/tests/typing-warnings/open_warnings.ml16
1 files changed, 0 insertions, 16 deletions
diff --git a/testsuite/tests/typing-warnings/open_warnings.ml b/testsuite/tests/typing-warnings/open_warnings.ml
index a7789c3862..e6c656910d 100644
--- a/testsuite/tests/typing-warnings/open_warnings.ml
+++ b/testsuite/tests/typing-warnings/open_warnings.ml
@@ -210,14 +210,6 @@ module T7 : sig end = struct
let _ = fun ((module S : S)) -> S.f (object end)
end;;
[%%expect {|
-Line 4, characters 4-29:
-4 | class type t = object end
- ^^^^^^^^^^^^^^^^^^^^^^^^^
-Warning 34: unused type t.
-Line 7, characters 4-10:
-7 | open M
- ^^^^^^
-Warning 33: unused open M.
module T7 : sig end
|}]
@@ -233,13 +225,5 @@ module T8 : sig end = struct
let _ = fun ((module S : S)) -> S.f (object end)
end;;
[%%expect {|
-Line 4, characters 4-24:
-4 | class t = object end
- ^^^^^^^^^^^^^^^^^^^^
-Warning 34: unused type t.
-Line 7, characters 4-10:
-7 | open M
- ^^^^^^
-Warning 33: unused open M.
module T8 : sig end
|}]