Merge branch 'hb/stdlib/specs/OTP-9267' into dev

* hb/stdlib/specs/OTP-9267:
  Types and specifications have been modified and added

Conflicts:
	lib/stdlib/src/timer.erl

1 files changed, 31 insertions, 0 deletions

diff --git a/lib/stdlib/src/erl_lint.erl b/lib/stdlib/src/erl_lint.erl
index cfb9f0ca98..dd0b9bc2ab 100644
--- a/lib/stdlib/src/erl_lint.erl
+++ b/lib/stdlib/src/erl_lint.erl
@@ -128,10 +128,15 @@ value_option(Flag, Default, On, OnVal, Off, OffVal, Opts) ->
               }).
 
 -type lint_state() :: #lint{}.
+-type error_description() :: term().
+-type error_info() :: {erl_scan:line(), module(), error_description()}.
 
 %% format_error(Error)
 %%  Return a string describing the error.
 
+-spec format_error(ErrorDescriptor) -> io_lib:chars() when
+      ErrorDescriptor :: error_description().
+
 format_error(undefined_module) ->
     "no module definition";
 format_error({bad_module_name, M}) ->
@@ -419,16 +424,39 @@ used_vars(Exprs, BindingsList) ->
 %%  apply_lambda/2 has been called to shut lint up. N.B. these lists are
 %%  really all ordsets!
 
+-spec(module(AbsForms) -> {ok, Warnings} | {error, Errors, Warnings} when
+      AbsForms :: [erl_parse:abstract_form()],
+      Warnings :: [{file:filename(),[ErrorInfo]}],
+      Errors :: [{FileName2 :: file:filename(),[ErrorInfo]}],
+      ErrorInfo :: error_info()).
+
 module(Forms) ->
     Opts = compiler_options(Forms),
     St = forms(Forms, start("nofile", Opts)),
     return_status(St).
 
+-spec(module(AbsForms, FileName) ->
+             {ok, Warnings} | {error, Errors, Warnings} when
+      AbsForms :: [erl_parse:abstract_form()],
+      FileName :: atom() | string(),
+      Warnings :: [{file:filename(),[ErrorInfo]}],
+      Errors :: [{FileName2 :: file:filename(),[ErrorInfo]}],
+      ErrorInfo :: error_info()).
+
 module(Forms, FileName) ->
     Opts = compiler_options(Forms),
     St = forms(Forms, start(FileName, Opts)),
     return_status(St).
 
+-spec(module(AbsForms, FileName, CompileOptions) ->
+             {ok, Warnings} | {error, Errors, Warnings} when
+      AbsForms :: [erl_parse:abstract_form()],
+      FileName :: atom() | string(),
+      CompileOptions :: [compile:option()],
+      Warnings :: [{file:filename(),[ErrorInfo]}],
+      Errors :: [{FileName2 :: file:filename(),[ErrorInfo]}],
+      ErrorInfo :: error_info()).
+
 module(Forms, FileName, Opts0) ->
     %% We want the options given on the command line to take
     %% precedence over options in the module.
@@ -1877,6 +1905,9 @@ gexpr_list(Es, Vt, St) ->
 
 %% is_guard_test(Expression) -> boolean().
 %%  Test if a general expression is a guard test.
+-spec is_guard_test(Expr) -> boolean() when
+      Expr :: erl_parse:abstract_expr().
+
 is_guard_test(E) ->
     is_guard_test2(E, dict:new()).