Compare commits
1 Commits
4cdf59092d
...
ede98b9e96
Author | SHA1 | Date | |
---|---|---|---|
![]() |
ede98b9e96 |
@ -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),
|
||||||
|
Loading…
x
Reference in New Issue
Block a user