diff options
author | Stavros Aronis <[email protected]> | 2011-02-05 13:25:45 +0200 |
---|---|---|
committer | Stavros Aronis <[email protected]> | 2011-02-06 11:46:43 +0200 |
commit | 4b5447031fc8478a8c725b97ee1fb8d55365619a (patch) | |
tree | 3d5d0e9a2107aa0728f60eebb6858fcd5c22e4af /lib/typer/src/typer.hrl | |
parent | 1937ce923530758629d32dd763300b7e2a2fd707 (diff) | |
download | otp-4b5447031fc8478a8c725b97ee1fb8d55365619a.tar.gz otp-4b5447031fc8478a8c725b97ee1fb8d55365619a.tar.bz2 otp-4b5447031fc8478a8c725b97ee1fb8d55365619a.zip |
Add '--no_spec' option to Typer
When run with '--no_spec', Typer will hide from Dialyzer any specs
present in the files under analysis.
Diffstat (limited to 'lib/typer/src/typer.hrl')
-rw-r--r-- | lib/typer/src/typer.hrl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/typer/src/typer.hrl b/lib/typer/src/typer.hrl index 2e4ec4f894..eb3ba5f9c1 100644 --- a/lib/typer/src/typer.hrl +++ b/lib/typer/src/typer.hrl @@ -36,6 +36,7 @@ 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 %% ---------------------- |