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

Polymorphism support #848

Merged
ghallak merged 53 commits from ghallak/307 into master 2022-06-17 18:09:07 +09:00
Conversation 97 Commits 53 Files Changed 28 +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 1980eb30bf - Show all commits

2
src/aeso_ast_infer_types.erl
View File

@ -2796,7 +2796,7 @@ unify1(_Env, A, B, _Variance, When) ->
cannot_unify(A, B, When), cannot_unify(A, B, When),
false. false.
is_subtype(Env, NameA, NameB, invariant) -> is_subtype(_Env, NameA, NameB, invariant) ->
NameA == NameB; NameA == NameB;
is_subtype(Env, NameA, NameB, covariant) -> is_subtype(Env, NameA, NameB, covariant) ->
is_subtype(Env, NameA, NameB); is_subtype(Env, NameA, NameB);