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

Merge branch '33-duplicated-variant-case-gives-missing-case-error' into 'dev'

Browse Source 
Resolve "Duplicated variant case gives "missing case" error"

Closes #33

See merge request ligolang/ligo!275
This commit is contained in:
Suzanne Dupéron 2019-12-20 13:05:44 +00:00
commit de56e170ee
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) ;