From 5d0a0eea8541c7f8577c06aa3e3bcb805d13935b Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Fri, 10 Dec 2021 14:57:20 +0200 Subject: [PATCH] Add comment on solve_known_record_types --- src/aeso_ast_infer_types.erl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl index ce6cdad..1f22e48 100644 --- a/src/aeso_ast_infer_types.erl +++ b/src/aeso_ast_infer_types.erl @@ -2362,6 +2362,8 @@ solve_unknown_record_types(Env, Unknown) -> false -> Solutions end. +%% This will solve all kinds of constraints but will only return the +%% unsolved field constraints -spec solve_known_record_types(env(), [constraint()]) -> [field_constraint()]. solve_known_record_types(Env, Constraints) -> DerefConstraints = lists:map(fun(C = #field_constraint{record_t = RecordType}) ->