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

Solve constraints together and in the order they are added #851

Merged
ghallak merged 6 commits from ghallak/358 into master 2021-12-16 20:54:07 +09:00
Conversation 5 Commits 6 Files Changed 3 +1 -3
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 7ac5e9dd5b - Show all commits

4
src/aeso_ast_infer_types.erl
View File

@ -2215,9 +2215,7 @@ check_named_argument_constraint(Env,
unify(Env, GenType1, SpecType, {check_expr, App, GenType1, SpecType}), unify(Env, GenType1, SpecType, {check_expr, App, GenType1, SpecType}),
true; true;
_ -> unify(Env, GenType, SpecType, {check_expr, App, GenType, SpecType}), true _ -> unify(Env, GenType, SpecType, {check_expr, App, GenType, SpecType}), true
end; end.
check_named_argument_constraint(_, _) ->
true.
specialize_dependent_type(Env, Type) -> specialize_dependent_type(Env, Type) ->
case dereference(Type) of case dereference(Type) of