diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2011-06-20 21:40:56 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2011-06-20 21:40:56 +0000 |
| commit | 9bd35bf83c3e99d87f72be4d5029aa6acad54135 (patch) | |
| tree | 51bdd8fbf679274159066bfa88f9d13767947226 | |
| parent | 5c9730c4767231d6f48b142ff950ec4ddfe3a3ff (diff) | |
Details.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11097 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | utils/warnings.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/utils/warnings.ml b/utils/warnings.ml index a950a844e..8393f9163 100644 --- a/utils/warnings.ml +++ b/utils/warnings.ml @@ -293,7 +293,6 @@ let check_fatal () = end; ;; - let descriptions = [ 1, "Suspicious-looking start-of-comment mark."; @@ -336,7 +335,9 @@ let descriptions = 30, "Two labels or constructors of the same name are defined in two\n\ \ mutually recursive types."; ] +;; let help_warnings () = List.iter (fun (i, s) -> Printf.printf "%3i %s\n" i s) descriptions; exit 0 +;; |