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

Add comparable typevar constraints #881

Open
ghallak wants to merge 15 commits from ghallak/229 into master
pull from: ghallak/229
merge into: QPQ-AG:master
Conversation 18 Commits 15 Files Changed 15 +2 -2
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 9d296f04cb - Show all commits

4
src/aeso_ast_infer_types.erl
View File

@ -2217,9 +2217,9 @@ destroy_and_report_unsolved_constraints(Env) ->
(_) -> false (_) -> false
end, OtherCs3), end, OtherCs3),
{TVarsCs, []} = {TVarsCs, []} =
lists:partition(fun({is_eq, _}) -> true; lists:partition(fun({is_eq, _}) -> true;
({is_ord, _}) -> true; ({is_ord, _}) -> true;
(_) -> false (_) -> false
end, OtherCs4), end, OtherCs4),
Unsolved = [ S || S <- [ solve_constraint(Env, dereference_deep(C)) || C <- NamedArgCs ], Unsolved = [ S || S <- [ solve_constraint(Env, dereference_deep(C)) || C <- NamedArgCs ],