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

Rename Unused_case => Redundant_case

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

4
typing/parmatch.ml
View File

@ -2083,7 +2083,7 @@ let do_check_fragile loc casel pss =
(********************************)
let check_unused pred casel =
if Warnings.is_active Warnings.Unused_case
if Warnings.is_active Warnings.Redundant_case
|| List.exists (fun c -> c.c_rhs.exp_desc = Texp_unreachable) casel then
let rec do_rec pref = function
| [] -> ()
@ -2134,7 +2134,7 @@ let check_unused pred casel =
match r with
| Unused ->
Location.prerr_warning
q.pat_loc Warnings.Unused_case
q.pat_loc Warnings.Redundant_case
| Upartial ps ->
List.iter
(fun p ->

8
utils/warnings.ml
View File

@ -35,7 +35,7 @@ type t =
| Partial_match of string (* 8 *)
| Missing_record_field_pattern of string (* 9 *)
| Non_unit_statement (* 10 *)
| Unused_case (* 11 *)
| Redundant_case (* 11 *)
| Unused_subpat (* 12 *)
| Instance_variable_override of string list (* 13 *)
| Illegal_backslash (* 14 *)
@ -112,7 +112,7 @@ let number = function
| Partial_match _ -> 8
| Missing_record_field_pattern _ -> 9
| Non_unit_statement -> 10
| Unused_case -> 11
| Redundant_case -> 11
| Unused_subpat -> 12
| Instance_variable_override _ -> 13
| Illegal_backslash -> 14
@ -207,7 +207,7 @@ let descriptions =
\ \"unit\" (and that is not a function, see warning number 5).",
["statement-type"];
11, "Redundant case in a pattern matching (unused match case).",
["unused-case"];
["redundant-case"];
12, "Redundant sub-pattern in a pattern-matching.",
["unused-subpat"];
13, "Instance variable overridden.",
@ -614,7 +614,7 @@ let message = function
"\nEither bind these labels explicitly or add '; _' to the pattern."
| Non_unit_statement ->
"this expression should have type unit."
| Unused_case -> "this match case is unused."
| Redundant_case -> "this match case is unused."
| Unused_subpat -> "this sub-pattern is unused."
| Instance_variable_override [lab] ->
"the instance variable " ^ lab ^ " is overridden.\n" ^

2
utils/warnings.mli
View File

@ -37,7 +37,7 @@ type t =
| Partial_match of string (* 8 *)
| Missing_record_field_pattern of string (* 9 *)
| Non_unit_statement (* 10 *)
| Unused_case (* 11 *)
| Redundant_case (* 11 *)
| Unused_subpat (* 12 *)
| Instance_variable_override of string list (* 13 *)
| Illegal_backslash (* 14 *)