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

Merge branch 'rinderknecht-dev' into 'dev'

Browse Source 
[PascaLIGO] Forgot to check that function parameters are not reserved names.

See merge request ligolang/ligo!384
This commit is contained in:
John David Pressman 2020-02-05 17:45:52 +00:00
commit 8232eecc6e
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/passes/1-parser/pascaligo/Scoping.ml
View File

@ -158,10 +158,12 @@ let check_variants variants =
let check_parameters params = let check_parameters params =
let add acc = function let add acc = function
ParamConst {value; _} -> ParamConst {value; _} ->
check_reserved_name value.var;
if VarSet.mem value.var acc then if VarSet.mem value.var acc then
raise (Error (Duplicate_parameter value.var)) raise (Error (Duplicate_parameter value.var))
else VarSet.add value.var acc else VarSet.add value.var acc
| ParamVar {value; _} -> | ParamVar {value; _} ->
check_reserved_name value.var;
if VarSet.mem value.var acc then if VarSet.mem value.var acc then
raise (Error (Duplicate_parameter value.var)) raise (Error (Duplicate_parameter value.var))
else VarSet.add value.var acc in else VarSet.add value.var acc in