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

Remove anonymous records

Browse Source
This commit is contained in:
John David Pressman 2019-10-17 22:34:38 -07:00
parent 35a59a0867
commit 2bffba379d
2 changed files with 30 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
src/passes/1-parser/pascaligo/AST.ml
View File

@ -212,7 +212,10 @@ and type_tuple = (type_expr, comma) nsepseq par reg
(* Function and procedure declarations *)
and fun_decl =
BlockFun of {
BlockFun of block_fun reg
| BlocklessFun of blockless_fun reg
and block_fun = {
kwd_function : kwd_function;
name : variable;
param : parameters;
@ -224,16 +227,17 @@ and fun_decl =
kwd_with : kwd_with;
return : expr;
terminator : semi option }
| BlocklessFun of
{ kwd_function : kwd_function;
name : variable;
param : parameters;
colon : colon;
ret_type : type_expr;
kwd_is : kwd_is;
kwd_expr : kwd_expr;
return : expr;
terminator : semi option }
and blockless_fun = {
kwd_function : kwd_function;
name : variable;
param : parameters;
colon : colon;
ret_type : type_expr;
kwd_is : kwd_is;
kwd_expr : kwd_expr;
return : expr;
terminator : semi option }
and parameters = (param_decl, semi) nsepseq par reg

26
src/passes/1-parser/pascaligo/AST.mli
View File

@ -203,7 +203,10 @@ and type_tuple = (type_expr, comma) nsepseq par reg
(* Function declarations *)
and fun_decl =
BlockFun of {
BlockFun of block_fun reg
| BlocklessFun of blockless_fun reg
and block_fun = {
kwd_function : kwd_function;
name : variable;
param : parameters;
@ -215,16 +218,17 @@ and fun_decl =
kwd_with : kwd_with;
return : expr;
terminator : semi option }
| BlocklessFun of
{ kwd_function : kwd_function;
name : variable;
param : parameters;
colon : colon;
ret_type : type_expr;
kwd_is : kwd_is;
kwd_expr : kwd_expr;
return : expr;
terminator : semi option }
and blockless_fun = {
kwd_function : kwd_function;
name : variable;
param : parameters;
colon : colon;
ret_type : type_expr;
kwd_is : kwd_is;
kwd_expr : kwd_expr;
return : expr;
terminator : semi option }
and parameters = (param_decl, semi) nsepseq par reg