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

Remove unsupported_map_patch error in PascaLIGO simplifier

Browse Source
This commit is contained in:
John David Pressman 2019-10-10 18:35:39 -07:00
parent c181ec1cac
commit 49ffe00466
1 changed files with 0 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/passes/2-simplify/pascaligo.ml
View File

@ -119,17 +119,6 @@ module Errors = struct
] in ] in
error ~data title message error ~data title message
(* let unsupported_map_patches patch =
let title () = "map patches" in
let message () =
Format.asprintf "map patches (a.k.a. functional updates) are \
not supported yet" in
let data = [
("patch_loc",
fun () -> Format.asprintf "%a" Location.pp_lift @@ patch.Region.region)
] in
error ~data title message *)
let unsupported_set_patches patch = let unsupported_set_patches patch =
let title () = "set patches" in let title () = "set patches" in
let message () = let message () =