From 638b45611d6e0ffd4b7902222aa1a96400e19f0b Mon Sep 17 00:00:00 2001 From: Lesenechal Remi Date: Fri, 20 Dec 2019 12:52:44 +0100 Subject: [PATCH] fix message of redundant_match_case error --- src/passes/4-typer-new/typer.ml | 2 +- src/passes/4-typer-old/typer.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/passes/4-typer-new/typer.ml b/src/passes/4-typer-new/typer.ml index 865461c58..f22dd61f9 100644 --- a/src/passes/4-typer-new/typer.ml +++ b/src/passes/4-typer-new/typer.ml @@ -54,7 +54,7 @@ module Errors = struct let match_redundant_case : type a . (a, unit) I.matching -> Location.t -> unit -> _ = fun matching loc () -> - let title = (thunk "missing case in match") in + let title = (thunk "redundant case in match") in let message () = "" in let data = [ ("variant" , fun () -> Format.asprintf "%a" I.PP.matching_type matching) ; diff --git a/src/passes/4-typer-old/typer.ml b/src/passes/4-typer-old/typer.ml index 57918b67f..b54b7e579 100644 --- a/src/passes/4-typer-old/typer.ml +++ b/src/passes/4-typer-old/typer.ml @@ -61,7 +61,7 @@ module Errors = struct let match_redundant_case : type a . (a, unit) I.matching -> Location.t -> unit -> _ = fun matching loc () -> - let title = (thunk "missing case in match") in + let title = (thunk "redundant case in match") in let message () = "" in let data = [ ("variant" , fun () -> Format.asprintf "%a" I.PP.matching_type matching) ;