Compare commits

..

1 Commits

Author SHA1 Message Date
SpiveeWorks
ede98b9e96 Fix function spec AACI preparation 2025-02-28 23:59:00 +11:00

View File

@ -1561,7 +1561,6 @@ opaque_type_name(Name) -> binary_to_list(Name).
annotate_function_specs([], _Types, Specs) -> annotate_function_specs([], _Types, Specs) ->
Specs; Specs;
annotate_function_specs([{Name, ArgsOpaque, ResultOpaque} | Rest], Types, 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, Args} = annotate_bindings(ArgsOpaque, Types, []),
{ok, Result} = annotate_type(ResultOpaque, Types), {ok, Result} = annotate_type(ResultOpaque, Types),
NewSpecs = maps:put(Name, {Args, Result}, Specs), NewSpecs = maps:put(Name, {Args, Result}, Specs),