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

propagate location for cameligo variables

Browse Source
This commit is contained in:
Lesenechal Remi 2020-01-02 19:30:19 +01:00
parent 3288696784
commit 4d56a71bd1
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/passes/2-simplify/cameligo.ml
View File

@ -327,9 +327,9 @@ let rec simpl_expression :
let%bind type_expr' = simpl_type_expression type_expr in let%bind type_expr' = simpl_type_expression type_expr in
return @@ e_annotation ~loc expr' type_expr' return @@ e_annotation ~loc expr' type_expr'
| EVar c -> | EVar c ->
let c' = c.value in let (c',loc) = r_split c in
(match constants c' with (match constants c' with
| Error _ -> return @@ e_variable (Var.of_name c.value) | Error _ -> return @@ e_variable ~loc (Var.of_name c.value)
| Ok (s,_) -> return @@ e_constant s []) | Ok (s,_) -> return @@ e_constant s [])
| ECall x -> ( | ECall x -> (
let ((e1 , e2) , loc) = r_split x in let ((e1 , e2) , loc) = r_split x in