Compare commits

..

1 Commits

Author SHA1 Message Date
SpiveeWorks
4cdf59092d Fix function spec AACI preparation 2025-02-28 23:56:52 +11:00

View File

@ -1561,6 +1561,7 @@ opaque_type_name(Name) -> binary_to_list(Name).
annotate_function_specs([], _Types, Specs) ->
Specs;
annotate_function_specs([{Name, ArgsOpaque, ResultOpaque} | Rest], Types, Specs) ->
io:format("types: ~p->~p~n", [ArgsOpaque, ResultOpaque]),
{ok, Args} = annotate_bindings(ArgsOpaque, Types, []),
{ok, Result} = annotate_type(ResultOpaque, Types),
NewSpecs = maps:put(Name, {Args, Result}, Specs),