From 11ee7aad6353d28f7f0d61f9e32dedb72785deb2 Mon Sep 17 00:00:00 2001 From: David Allsopp Date: Tue, 25 Jun 2019 15:01:27 +0100 Subject: [PATCH] Eliminate Warning 50 on 4.02.3 Documentation comments on polymorphic variant constructors wasn't supported until GPR#477 in 4.03.0 --- src/core/opamSystem.mli | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/core/opamSystem.mli b/src/core/opamSystem.mli index 9fe7e58ecb5..982d53e92e7 100644 --- a/src/core/opamSystem.mli +++ b/src/core/opamSystem.mli @@ -54,12 +54,12 @@ val copy_dir: string -> string -> unit val mv: string -> string -> unit -type install_warning = [ `Add_exe (** [.exe] had to be added *) - | `Install_dll (** Installation of [.dll] to bin/libexec *) - | `Install_script (** Installation of script on Windows *) - | `Install_unknown (** Installation of unknown file to bin/libexec *) - | `Cygwin (** Installation of a Cygwin-linked executable *) - | `Cygwin_libraries (** Installation of a binary linked to a Cygwin library *) +type install_warning = [ `Add_exe (* [.exe] had to be added *) + | `Install_dll (* Installation of [.dll] to bin/libexec *) + | `Install_script (* Installation of script on Windows *) + | `Install_unknown (* Installation of unknown file to bin/libexec *) + | `Cygwin (* Installation of a Cygwin-linked executable *) + | `Cygwin_libraries (* Installation of a binary linked to a Cygwin library *) ] (** Warnings which come from {!install} *)