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

Allow data constructors in compile-time constants

Browse Source
This commit is contained in:
Gaith Hallak 2022-12-16 12:33:49 +03:00
parent cb817d6c76
commit 719dfdf240
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/aeso_ast_infer_types.erl
View File

@ -1971,10 +1971,18 @@ infer_expr(Env = #env{ current_const = CurrentConst }, {app, Ann, Fun, Args0} =
infer_op(Env, Ann, Fun, Args, fun infer_infix/1); infer_op(Env, Ann, Fun, Args, fun infer_infix/1);
prefix -> prefix ->
infer_op(Env, Ann, Fun, Args, fun infer_prefix/1); infer_op(Env, Ann, Fun, Args, fun infer_prefix/1);
_ when CurrentConst =/= none ->
type_error({invalid_const_expr, CurrentConst}),
destroy_and_report_type_errors(Env);
_ -> _ ->
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,
NamedArgsVar = fresh_uvar(Ann), NamedArgsVar = fresh_uvar(Ann),
NamedArgs1 = [ infer_named_arg(Env, NamedArgsVar, Arg) || Arg <- NamedArgs ], NamedArgs1 = [ infer_named_arg(Env, NamedArgsVar, Arg) || Arg <- NamedArgs ],
NewFun0 = infer_expr(Env, Fun), NewFun0 = infer_expr(Env, Fun),