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-18 14:47:04 +02:00
parent 71548f8c7c
commit bec3419936
1 changed files with 2 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -379,22 +379,12 @@ let rec simpl_expression (t:Raw.expr) : expr result =
| ELogic l -> simpl_logic_expression l | ELogic l -> simpl_logic_expression l
| EList l -> simpl_list_expression l | EList l -> simpl_list_expression l
| ESet s -> simpl_set_expression s | ESet s -> simpl_set_expression s
| ECond c -> (*fail @@ simple_error "TODO"*) | ECond c ->
(* let (c , loc) = r_split c in
let%bind expr = simpl_expression c.test in
let%bind match_true = simpl_expression c.ifso in
let%bind match_false = simpl_expression c.ifnot in
return @@ e_matching expr ~loc (Match_bool {match_true; match_false}) *)
let (c , loc) = r_split c in let (c , loc) = r_split c in
let%bind expr = simpl_expression c.test in let%bind expr = simpl_expression c.test in
let%bind match_true = simpl_expression c.ifso in let%bind match_true = simpl_expression c.ifso in
let%bind match_false = simpl_expression c.ifnot in let%bind match_false = simpl_expression c.ifnot in
let%bind lst = ok @@ return @@ e_matching expr ~loc (Match_bool {match_true; match_false})
[(Raw.PTrue Region.ghost, match_true);
(Raw.PFalse Region.ghost, match_false)] in
let%bind cases = simpl_cases lst in
return @@ e_matching ~loc expr cases
| ECase c -> ( | ECase c -> (
let (c , loc) = r_split c in let (c , loc) = r_split c in
let%bind e = simpl_expression c.expr in let%bind e = simpl_expression c.expr in