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

Merge branch 'feature/LIGO-429-pascaligo-discrepancy' into 'dev'

Browse Source 
[LIGO-429] allow constructor without parameters

Closes LIGO-429

See merge request ligolang/ligo!448
This commit is contained in:
Christian Rinderknecht 2020-02-25 15:39:09 +00:00
commit 09999c2c82
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -367,7 +367,8 @@ let rec simpl_expression (t:Raw.expr) : expr result =
| EConstr (ConstrApp c) -> ( | EConstr (ConstrApp c) -> (
let ((c, args) , loc) = r_split c in let ((c, args) , loc) = r_split c in
match args with match args with
None -> simpl_tuple_expression [] None ->
return @@ e_constructor ~loc c.value (e_unit ())
| Some args -> | Some args ->
let args, args_loc = r_split args in let args, args_loc = r_split args in
let%bind arg = let%bind arg =