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

Handle all user generated code errors in the type checker #885

Merged
ghallak merged 15 commits from ghallak/270 into master 2022-07-26 00:48:47 +09:00
Conversation 5 Commits 15 Files Changed 39 +1 -1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit df9f258394 - Show all commits

2
src/aeso_ast_infer_types.erl
View File

@ -1664,7 +1664,7 @@ check_state_init(Env) ->
case unfold_types_in_type(Env, StateType) of case unfold_types_in_type(Env, StateType) of
false -> false ->
ok; ok;
{_, {_, {_, {alias_t, {tuple_t, _, []}}}}} -> {_, {_, {_, {alias_t, {tuple_t, _, []}}}}} -> %% type state = ()
ok; ok;
_ -> _ ->
#scope{ ann = AnnCon } = get_scope(Env, Top), #scope{ ann = AnnCon } = get_scope(Env, Top),