Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rename Unused_subpat => Redundant_subpat

master
Nicolás Ojeda Bär 2020-07-10 20:00:56 +02:00
parent 47c0e44d63
commit 06f1a66f96
3 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typing/parmatch.ml
View File

@ -2139,7 +2139,7 @@ let check_unused pred casel =
List.iter
(fun p ->
Location.prerr_warning
p.pat_loc Warnings.Unused_subpat)
p.pat_loc Warnings.Redundant_subpat)
ps
| Used -> ()
with Empty | Not_found -> assert false

8
utils/warnings.ml
View File

@ -36,7 +36,7 @@ type t =
| Missing_record_field_pattern of string (* 9 *)
| Non_unit_statement (* 10 *)
| Redundant_case (* 11 *)
| Unused_subpat (* 12 *)
| Redundant_subpat (* 12 *)
| Instance_variable_override of string list (* 13 *)
| Illegal_backslash (* 14 *)
| Implicit_public_methods of string list (* 15 *)
@ -113,7 +113,7 @@ let number = function
| Missing_record_field_pattern _ -> 9
| Non_unit_statement -> 10
| Redundant_case -> 11
| Unused_subpat -> 12
| Redundant_subpat -> 12
| Instance_variable_override _ -> 13
| Illegal_backslash -> 14
| Implicit_public_methods _ -> 15
@ -209,7 +209,7 @@ let descriptions =
11, "Redundant case in a pattern matching (unused match case).",
["redundant-case"];
12, "Redundant sub-pattern in a pattern-matching.",
["unused-subpat"];
["redundant-subpat"];
13, "Instance variable overridden.",
["instance-variable-override"];
14, "Illegal backslash escape in a string constant.",
@ -615,7 +615,7 @@ let message = function
| Non_unit_statement ->
"this expression should have type unit."
| Redundant_case -> "this match case is unused."
| Unused_subpat -> "this sub-pattern is unused."
| Redundant_subpat -> "this sub-pattern is unused."
| Instance_variable_override [lab] ->
"the instance variable " ^ lab ^ " is overridden.\n" ^
"The behaviour changed in ocaml 3.10 (previous behaviour was hiding.)"

2
utils/warnings.mli
View File

@ -38,7 +38,7 @@ type t =
| Missing_record_field_pattern of string (* 9 *)
| Non_unit_statement (* 10 *)
| Redundant_case (* 11 *)
| Unused_subpat (* 12 *)
| Redundant_subpat (* 12 *)
| Instance_variable_override of string list (* 13 *)
| Illegal_backslash (* 14 *)
| Implicit_public_methods of string list (* 15 *)