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

cleaning

Browse Source
This commit is contained in:
Lesenechal Remi 2019-10-07 12:03:19 +02:00
parent 08a3e08f57
commit 3a3cfa341a
1 changed files with 1 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -26,16 +26,6 @@ module Errors = struct
] in ] in
error ~data title message error ~data title message
let unsupported_ass_None region =
let title () = "assignment of None" in
let message () =
Format.asprintf "assignments of None are not supported yet" in
let data = [
("none_expr",
fun () -> Format.asprintf "%a" Location.pp_lift @@ region)
] in
error ~data title message
let bad_bytes loc str = let bad_bytes loc str =
let title () = "bad bytes string" in let title () = "bad bytes string" in
let message () = let message () =
@ -792,8 +782,7 @@ and simpl_single_instruction : Raw.single_instr -> (_ -> expression result) resu
let (a , loc) = r_split a in let (a , loc) = r_split a in
let%bind value_expr = match a.rhs with let%bind value_expr = match a.rhs with
| Expr e -> simpl_expression e | Expr e -> simpl_expression e
(* | NoneExpr reg -> fail @@ unsupported_ass_None reg *) | NoneExpr reg -> simpl_expression (EConstr (NoneExpr reg))
| NoneExpr reg -> simpl_expression (Raw.EConstr (Raw.NoneExpr reg))
in in
match a.lhs with match a.lhs with
| Path path -> ( | Path path -> (