Merge branch 'ks/dialyzer/undefined_record_fields/OTP-12719'

* ks/dialyzer/undefined_record_fields/OTP-12719:
  Update Debugger
  Update Diameter
  Update Eunit
  Update Inets
  Update Reltool
  Update SSL
  Update Test Server
  Update Syntax Tools
  Update Tools
  Update and cleanup HiPE records
  Fix errors in dialyzer_{coordinator,worker} specs
  Update Dialyzer
  Update Compiler
  stdlib: Refactor the supervisor module's state
  Update Kernel and STDLIB
  Take out automatic insertion of 'undefined' from typed record fields

1 files changed, 6 insertions, 6 deletions

diff --git a/lib/hipe/cerl/cerl_hipeify.erl b/lib/hipe/cerl/cerl_hipeify.erl
index 8691e80cac..6611abd204 100644
--- a/lib/hipe/cerl/cerl_hipeify.erl
+++ b/lib/hipe/cerl/cerl_hipeify.erl
@@ -1,7 +1,7 @@
 %%
 %% %CopyrightBegin%
 %% 
-%% Copyright Ericsson AB 2003-2012. All Rights Reserved.
+%% Copyright Ericsson AB 2003-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.
@@ -623,12 +623,12 @@ ren__map(Key, Ren) ->
 %% ---------------------------------------------------------------------
 %% State
 
-%% pmatch = 'true' | 'false' | 'no_duplicates' | 'duplicate_all'
+-type pmatch() :: 'true' | 'false' | 'no_duplicates' | 'duplicate_all'.
 
--record(state, {module::atom(),
-		function::{atom(), 0..256},
-		pmatch=true,
-		revisit = false}).
+-record(state, {module          :: module(),
+		function        :: {atom(), arity()} | 'undefined',
+		pmatch = true   :: pmatch(),
+		revisit = false :: boolean()}).
 
 s__new(Module) ->
     #state{module = Module}.