Merge branch 'region-invalid' into 'dev'

Fix a Region.Invalid error in Cameligo simplifier

See merge request ligolang/ligo!214
This commit is contained in:
Tom Jack 2019-11-22 21:53:59 +00:00
commit e16ddf7ddc

View File

@ -35,7 +35,7 @@ module Errors = struct
Format.asprintf "multiple patterns in \"%s\" are not supported yet" construct in
let patterns_loc =
List.fold_left (fun a p -> Region.cover a (Raw.pattern_to_region p))
Region.min patterns in
Region.ghost patterns in
let data = [
("patterns_loc", fun () -> Format.asprintf "%a" Location.pp_lift @@ patterns_loc)
] in