diff options
author | Hugo Heuzard <hugo.heuzard@gmail.com> | 2019-12-15 12:24:02 +0800 |
---|---|---|
committer | Hugo Heuzard <hugo.heuzard@gmail.com> | 2019-12-15 12:24:02 +0800 |
commit | 843735d55c2955f4153b0f614ef9b0a305a7a84a (patch) | |
tree | 6d947c17e49f64f7e95c4025a2b6c53b36469a4d /testsuite | |
parent | ba4a8acc54f3c3ef65a9e33ff4adda0d264aef3a (diff) | |
download | ocaml-843735d55c2955f4153b0f614ef9b0a305a7a84a.tar.gz |
fix spurious 'unused open' with class
Diffstat (limited to 'testsuite')
-rw-r--r-- | testsuite/tests/typing-warnings/open_warnings.ml | 16 |
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 |}] |