balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fix message of redundant_match_case error

Browse Source
This commit is contained in:
Lesenechal Remi 2019-12-20 12:52:44 +01:00 committed by Suzanne Dupéron
parent a465e54340
commit 638b45611d
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/passes/4-typer-new/typer.ml
View File

@ -54,7 +54,7 @@ module Errors = struct
let match_redundant_case : type a . (a, unit) I.matching -> Location.t -> unit -> _ = let match_redundant_case : type a . (a, unit) I.matching -> Location.t -> unit -> _ =
fun matching loc () -> fun matching loc () ->
let title = (thunk "missing case in match") in let title = (thunk "redundant case in match") in
let message () = "" in let message () = "" in
let data = [ let data = [
("variant" , fun () -> Format.asprintf "%a" I.PP.matching_type matching) ; ("variant" , fun () -> Format.asprintf "%a" I.PP.matching_type matching) ;

2
src/passes/4-typer-old/typer.ml
View File

@ -61,7 +61,7 @@ module Errors = struct
let match_redundant_case : type a . (a, unit) I.matching -> Location.t -> unit -> _ = let match_redundant_case : type a . (a, unit) I.matching -> Location.t -> unit -> _ =
fun matching loc () -> fun matching loc () ->
let title = (thunk "missing case in match") in let title = (thunk "redundant case in match") in
let message () = "" in let message () = "" in
let data = [ let data = [
("variant" , fun () -> Format.asprintf "%a" I.PP.matching_type matching) ; ("variant" , fun () -> Format.asprintf "%a" I.PP.matching_type matching) ;