diff options
| author | Hans Bolinder <[email protected]> | 2012-08-21 10:17:26 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2012-08-21 10:17:26 +0200 |
| commit | ffb066c7523f05fee3d26d8a148ffd3a10d966ff (patch) | |
| tree | e886656288a583eee6c1d628f5ed74e7f2511128 /lib/dialyzer/src/dialyzer.hrl | |
| parent | a8fb0d0537314f717f9ab33989a5115457c9aab0 (diff) | |
| parent | 5c840fae80ece293a5a3fc2fc2698771d7d9d200 (diff) | |
| download | otp-ffb066c7523f05fee3d26d8a148ffd3a10d966ff.tar.gz otp-ffb066c7523f05fee3d26d8a148ffd3a10d966ff.tar.bz2 otp-ffb066c7523f05fee3d26d8a148ffd3a10d966ff.zip | |
Merge branch 'maint'
* maint:
Add an undocumented option [--solver [v1 | v2]]
Add an alternative implmentation of the typesignature solver
Diffstat (limited to 'lib/dialyzer/src/dialyzer.hrl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer.hrl | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/lib/dialyzer/src/dialyzer.hrl b/lib/dialyzer/src/dialyzer.hrl index 1b999a7b99..105a174e31 100644 --- a/lib/dialyzer/src/dialyzer.hrl +++ b/lib/dialyzer/src/dialyzer.hrl @@ -2,7 +2,7 @@ %%% %%% %CopyrightBegin% %%% -%%% Copyright Ericsson AB 2006-2011. All Rights Reserved. +%%% Copyright Ericsson AB 2006-2012. All Rights Reserved. %%% %%% The contents of this file are subject to the Erlang Public License, %%% Version 1.1, (the "License"); you may not use this file except in @@ -111,6 +111,7 @@ -type rep_mode() :: 'quiet' | 'normal' | 'verbose'. -type start_from() :: 'byte_code' | 'src_code'. -type mfa_or_funlbl() :: label() | mfa(). +-type solver() :: 'v1' | 'v2'. %%-------------------------------------------------------------------- %% Record declarations used by various files @@ -129,7 +130,8 @@ behaviours_chk = false :: boolean(), timing = false :: boolean() | 'debug', timing_server :: dialyzer_timing:timing_server(), - callgraph_file = "" :: file:filename()}). + callgraph_file = "" :: file:filename(), + solvers :: [solver()]}). -record(options, {files = [] :: [file:filename()], files_rec = [] :: [file:filename()], @@ -149,7 +151,8 @@ output_format = formatted :: format(), filename_opt = basename :: fopt(), callgraph_file = "" :: file:filename(), - check_plt = true :: boolean()}). + check_plt = true :: boolean(), + solvers = [] :: [solver()]}). -record(contract, {contracts = [] :: [contract_pair()], args = [] :: [erl_types:erl_type()], |