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

Don't forget to solve constraints

Browse Source
This commit is contained in:
Ulf Norell 2019-09-09 12:33:47 +02:00
parent e2ab41eeb2
commit 3ceeee22fa
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/aeso_ast_infer_types.erl
View File

@ -899,7 +899,6 @@ infer_nonrec(Env, LetFun) ->
create_constraints(), create_constraints(),
NewLetFun = infer_letfun(Env, LetFun), NewLetFun = infer_letfun(Env, LetFun),
check_special_funs(Env, NewLetFun), check_special_funs(Env, NewLetFun),
solve_constraints(Env),
destroy_and_report_unsolved_constraints(Env), destroy_and_report_unsolved_constraints(Env),
Result = {TypeSig, _} = instantiate(NewLetFun), Result = {TypeSig, _} = instantiate(NewLetFun),
print_typesig(TypeSig), print_typesig(TypeSig),
@ -1491,12 +1490,10 @@ create_constraints() ->
create_bytes_constraints(), create_bytes_constraints(),
create_field_constraints(). create_field_constraints().
solve_constraints(Env) -> destroy_and_report_unsolved_constraints(Env) ->
solve_named_argument_constraints(Env), solve_named_argument_constraints(Env),
solve_bytes_constraints(Env), solve_bytes_constraints(Env),
solve_field_constraints(Env). solve_field_constraints(Env),
destroy_and_report_unsolved_constraints(Env) ->
destroy_and_report_unsolved_field_constraints(Env), destroy_and_report_unsolved_field_constraints(Env),
destroy_and_report_unsolved_bytes_constraints(Env), destroy_and_report_unsolved_bytes_constraints(Env),
destroy_and_report_unsolved_named_argument_constraints(Env). destroy_and_report_unsolved_named_argument_constraints(Env).