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

Fix the issue of unreported holes

Browse Source
This commit is contained in:
Gaith Hallak 2023-01-07 23:56:04 +03:00
parent 7cdd2de6e4
commit abee3d89ed
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/aeso_ast_infer_types.erl
View File

@ -2912,6 +2912,12 @@ unify1(_Env, {uvar, _, R}, {uvar, _, R}, _Variance, _When) ->
true; true;
unify1(_Env, {uvar, _, _}, {fun_t, _, _, var_args, _}, _Variance, When) -> unify1(_Env, {uvar, _, _}, {fun_t, _, _, var_args, _}, _Variance, When) ->
type_error({unify_varargs, When}); type_error({unify_varargs, When});
unify1(_Env, {id, Ann, "hole"}, B, _Variance, _When) ->
type_error({hole_found, Ann, B}),
true;
unify1(_Env, A, {id, Ann, "hole"}, _Variance, _When) ->
type_error({hole_found, Ann, A}),
true;
unify1(Env, {uvar, A, R}, T, _Variance, When) -> unify1(Env, {uvar, A, R}, T, _Variance, When) ->
case occurs_check(R, T) of case occurs_check(R, T) of
true -> true ->
@ -2941,12 +2947,6 @@ unify1(_Env, _A, {id, _, "void"}, Variance, _When)
unify1(_Env, {id, _, "void"}, _B, Variance, _When) unify1(_Env, {id, _, "void"}, _B, Variance, _When)
when Variance == contravariant orelse Variance == bivariant -> when Variance == contravariant orelse Variance == bivariant ->
true; true;
unify1(_Env, {id, Ann, "hole"}, B, _Variance, _When) ->
type_error({hole_found, Ann, B}),
true;
unify1(_Env, A, {id, Ann, "hole"}, _Variance, _When) ->
type_error({hole_found, Ann, A}),
true;
unify1(_Env, {id, _, Name}, {id, _, Name}, _Variance, _When) -> unify1(_Env, {id, _, Name}, {id, _, Name}, _Variance, _When) ->
true; true;
unify1(Env, A = {con, _, NameA}, B = {con, _, NameB}, Variance, When) -> unify1(Env, A = {con, _, NameA}, B = {con, _, NameB}, Variance, When) ->