aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer.hrl
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2015-09-28 16:26:02 +0200
committerHans Bolinder <[email protected]>2015-10-09 11:37:54 +0200
commit3318e2a51b83d1dd4038950f51880ac872076564 (patch)
tree13131fd3a700d1790f8f494091bb0c6450400469 /lib/dialyzer/src/dialyzer.hrl
parent973ef43fbb837c7e790d487dbdd7656dc3376717 (diff)
downloadotp-3318e2a51b83d1dd4038950f51880ac872076564.tar.gz
otp-3318e2a51b83d1dd4038950f51880ac872076564.tar.bz2
otp-3318e2a51b83d1dd4038950f51880ac872076564.zip
Update Dialyzer
Record field types have been modified due to commit 8ce35b2: "Take out automatic insertion of 'undefined' from typed record fields".
Diffstat (limited to 'lib/dialyzer/src/dialyzer.hrl')
-rw-r--r--lib/dialyzer/src/dialyzer.hrl10
1 files changed, 6 insertions, 4 deletions
diff --git a/lib/dialyzer/src/dialyzer.hrl b/lib/dialyzer/src/dialyzer.hrl
index de236f91ab..601e2e954b 100644
--- a/lib/dialyzer/src/dialyzer.hrl
+++ b/lib/dialyzer/src/dialyzer.hrl
@@ -2,7 +2,7 @@
%%%
%%% %CopyrightBegin%
%%%
-%%% Copyright Ericsson AB 2006-2014. All Rights Reserved.
+%%% Copyright Ericsson AB 2006-2015. All Rights Reserved.
%%%
%%% Licensed under the Apache License, Version 2.0 (the "License");
%%% you may not use this file except in compliance with the License.
@@ -123,10 +123,12 @@
%% Record declarations used by various files
%%--------------------------------------------------------------------
--record(analysis, {analysis_pid :: pid(),
+-type doc_plt() :: 'undefined' | dialyzer_plt:plt().
+
+-record(analysis, {analysis_pid :: pid() | 'undefined',
type = succ_typings :: anal_type(),
defines = [] :: [dial_define()],
- doc_plt :: dialyzer_plt:plt(),
+ doc_plt :: doc_plt(),
files = [] :: [file:filename()],
include_dirs = [] :: [file:filename()],
start_from = byte_code :: start_from(),
@@ -135,7 +137,7 @@
race_detection = false :: boolean(),
behaviours_chk = false :: boolean(),
timing = false :: boolean() | 'debug',
- timing_server :: dialyzer_timing:timing_server(),
+ timing_server = none :: dialyzer_timing:timing_server(),
callgraph_file = "" :: file:filename(),
solvers :: [solver()]}).