QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Add a flag to allow higher-order entrypoints

Browse Source
This commit is contained in:
Gaith Hallak 2022-07-25 20:00:30 +04:00
parent 3301deb57b
commit fb621807a9
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/aeso_ast_infer_types.erl
View File

@ -1642,7 +1642,8 @@ check_stateful_named_arg(_, _, _) -> ok.
check_entrypoints(Defs) -> check_entrypoints(Defs) ->
[ ensure_first_order_entrypoint(LetFun) [ ensure_first_order_entrypoint(LetFun)
|| LetFun <- Defs, || LetFun <- Defs,
aeso_syntax:get_ann(entrypoint, LetFun, false) ]. aeso_syntax:get_ann(entrypoint, LetFun, false),
get_option(allow_higher_order_entrypoints, false) =:= false ].
ensure_first_order_entrypoint({letfun, Ann, Id = {id, _, Name}, Args, Ret, _}) -> ensure_first_order_entrypoint({letfun, Ann, Id = {id, _, Name}, Args, Ret, _}) ->
[ ensure_first_order(ArgType, {higher_order_entrypoint, AnnArg, Id, {argument, ArgId, ArgType}}) [ ensure_first_order(ArgType, {higher_order_entrypoint, AnnArg, Id, {argument, ArgId, ArgType}})