(* TEST_BELOW (* Blank lines added here to preserve locations. *) *) (** Test unused opens, in particular in presence of pattern open *) module M = struct end module N = struct type t = A | B end module R = struct type r = {x: int} end let f M.(x) = x (* useless open *) let g N.(A|B) = () (* used open *) let h R.{x} = R.{x} open N (* used open *) let i (A|B) = B open! M (* useless open! *) open M (* useless open *) (* TEST flags = "-w +A-70"; setup-ocamlc.byte-build-env; compile_only = "true"; ocamlc.byte; check-ocamlc.byte-output; *)