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

Fixed the regression on case clauses (blocks were removed).

Browse Source
This commit is contained in:
Christian Rinderknecht 2019-10-24 10:29:41 +02:00 committed by Lesenechal Remi
parent 4a9150f560
commit c0f4aaf0c7
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -718,14 +718,14 @@ and simpl_single_instruction : Raw.instruction -> (_ -> expression result) resul
LongBlock {value; _} -> LongBlock {value; _} ->
simpl_block value simpl_block value
| ShortBlock {value; _} -> | ShortBlock {value; _} ->
simpl_statements @@ fst value.inside in simpl_statements @@ fst value.inside in
ok (x.value.pattern, case_clause None) in let%bind case_clause = case_clause None in
ok (x.value.pattern, case_clause) in
bind_list bind_list
@@ List.map aux @@ List.map aux
@@ npseq_to_list c.cases.value in @@ npseq_to_list c.cases.value in
let%bind m = simpl_cases cases in let%bind m = simpl_cases cases in
let%bind toto = ok @@ e_matching ~loc expr m in return_statement @@ e_matching ~loc expr m
return_statement @@ toto
) )
| RecordPatch r -> ( | RecordPatch r -> (
let r = r.value in let r = r.value in