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

Show empty map or record error when assigning to const

Browse Source
This commit is contained in:
Gaith Hallak 2022-12-16 13:20:43 +03:00
parent 77be5750f3
commit e64bdd40d2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aeso_ast_infer_types.erl
View File

@ -2093,7 +2093,7 @@ infer_expr(Env = #env{ current_const = none }, {block, Attrs, Stmts}) ->
BlockType = fresh_uvar(Attrs), BlockType = fresh_uvar(Attrs),
NewStmts = infer_block(Env, Attrs, Stmts, BlockType), NewStmts = infer_block(Env, Attrs, Stmts, BlockType),
{typed, Attrs, {block, Attrs, NewStmts}, BlockType}; {typed, Attrs, {block, Attrs, NewStmts}, BlockType};
infer_expr(#env{ current_const = none }, {record_or_map_error, Attrs, Fields}) -> infer_expr(_Env, {record_or_map_error, Attrs, Fields}) ->
type_error({mixed_record_and_map, {record, Attrs, Fields}}), type_error({mixed_record_and_map, {record, Attrs, Fields}}),
Type = fresh_uvar(Attrs), Type = fresh_uvar(Attrs),
{typed, Attrs, {record, Attrs, []}, Type}; {typed, Attrs, {record, Attrs, []}, Type};