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

Use ban_when_const for function applications

Browse Source
This commit is contained in:
Gaith Hallak 2022-12-18 11:04:04 +03:00
parent 42c34ce3d8
commit 95d372c718
1 changed files with 4 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/aeso_ast_infer_types.erl
View File

@ -1995,7 +1995,7 @@ infer_expr(Env, {typed, As, Body, Type}) ->
Type1 = check_type(Env, Type),
{typed, _, NewBody, NewType} = check_expr(Env, Body, Type1),
{typed, As, NewBody, NewType};
infer_expr(Env = #env{ current_const = CurrentConst }, {app, Ann, Fun, Args0} = App) ->
infer_expr(Env, {app, Ann, Fun, Args0} = App) ->
{NamedArgs, Args} = split_args(Args0),
case aeso_syntax:get_ann(format, Ann) of
infix ->
@ -2003,17 +2003,9 @@ infer_expr(Env = #env{ current_const = CurrentConst }, {app, Ann, Fun, Args0} =
prefix ->
infer_op(Env, Ann, Fun, Args, fun infer_prefix/1);
_ ->
case CurrentConst of
none -> ok;
Id ->
case Fun of
{con, _, _} -> ok;
{qcon, _, _} -> ok;
_ ->
type_error({invalid_const_expr, Id}),
destroy_and_report_type_errors(Env)
end
end,
%% Applications of data constructors are allowed in constants
lists:member(element(1, Fun), [con, qcon]) orelse ban_when_const(Env),
NamedArgsVar = fresh_uvar(Ann),
NamedArgs1 = [ infer_named_arg(Env, NamedArgsVar, Arg) || Arg <- NamedArgs ],
NewFun0 = infer_expr(Env, Fun),