diff options
| author | Kostis Sagonas <[email protected]> | 2011-02-06 12:25:05 +0200 |
|---|---|---|
| committer | Kostis Sagonas <[email protected]> | 2011-02-06 12:25:05 +0200 |
| commit | 7aabed32dd2eb7c89b061c53639a082c09bf693a (patch) | |
| tree | e5e319cb0b765a0e04e5d02d7e7f9472e45fdb08 | |
| parent | d6fa4fd84f7c159ebd19539feff94673bb35650b (diff) | |
| download | otp-7aabed32dd2eb7c89b061c53639a082c09bf693a.tar.gz otp-7aabed32dd2eb7c89b061c53639a082c09bf693a.tar.bz2 otp-7aabed32dd2eb7c89b061c53639a082c09bf693a.zip | |
Clean up of comments
| -rw-r--r-- | lib/typer/src/typer.hrl | 21 |
1 files changed, 5 insertions, 16 deletions
diff --git a/lib/typer/src/typer.hrl b/lib/typer/src/typer.hrl index eb3ba5f9c1..f08668a2ac 100644 --- a/lib/typer/src/typer.hrl +++ b/lib/typer/src/typer.hrl @@ -27,34 +27,23 @@ -record(typer_analysis, {mode :: mode(), - macros = [] :: [{atom(), _}], % {macro_name, value} + macros = [] :: [{atom(), term()}], % {macro_name, value} includes = [] :: [file:filename()], - - %% Esp for Dialyzer - %% ---------------------- + %% --- for dialyzer --- code_server = dialyzer_codeserver:new():: dialyzer_codeserver:codeserver(), callgraph = dialyzer_callgraph:new() :: dialyzer_callgraph:callgraph(), ana_files = [] :: [file:filename()], % absolute filenames plt = none :: 'none' | file:filename(), no_spec = false :: boolean(), - - %% Esp for TypEr - %% ---------------------- + %% --- for typer --- t_files = [] :: [file:filename()], - %% For choosing between contracts or comments contracts = true :: boolean(), - - %% Any file in 'final_files' is compilable. - %% And we need to keep it as {FileName,ModuleName} - %% in case filename does NOT match with moduleName + %% Files in 'final_files' are compilable with option 'to_pp'; we keep + %% them as {FileName, ModuleName} in case the ModuleName is different final_files = [] :: [{file:filename(), module()}], - ex_func = typer_map:new() :: dict(), record = typer_map:new() :: dict(), - - %% Functions: the line number of the function - %% should be kept as well func = typer_map:new() :: dict(), inc_func = typer_map:new() :: dict(), trust_plt = dialyzer_plt:new() :: dialyzer_plt:plt()}). |