Update bootstrap compiler

12 files changed, 11 insertions, 24 deletions

diff --git a/bootstrap/lib/kernel/ebin/application_controller.beam b/bootstrap/lib/kernel/ebin/application_controller.beam
index 4cb6bc6b7e..51e1222578 100644
--- a/bootstrap/lib/kernel/ebin/application_controller.beam
+++ b/bootstrap/lib/kernel/ebin/application_controller.beam
diff --git a/bootstrap/lib/kernel/ebin/code_server.beam b/bootstrap/lib/kernel/ebin/code_server.beam
index e6ad873c82..e662c95922 100644
--- a/bootstrap/lib/kernel/ebin/code_server.beam
+++ b/bootstrap/lib/kernel/ebin/code_server.beam
diff --git a/bootstrap/lib/kernel/ebin/file_server.beam b/bootstrap/lib/kernel/ebin/file_server.beam
index 7b9075b3ae..37e598a10f 100644
--- a/bootstrap/lib/kernel/ebin/file_server.beam
+++ b/bootstrap/lib/kernel/ebin/file_server.beam
diff --git a/bootstrap/lib/kernel/ebin/global.beam b/bootstrap/lib/kernel/ebin/global.beam
index 6f576b3cb2..b16334d8a2 100644
--- a/bootstrap/lib/kernel/ebin/global.beam
+++ b/bootstrap/lib/kernel/ebin/global.beam
diff --git a/bootstrap/lib/kernel/ebin/inet_db.beam b/bootstrap/lib/kernel/ebin/inet_db.beam
index ee4a8633d6..3096737c76 100644
--- a/bootstrap/lib/kernel/ebin/inet_db.beam
+++ b/bootstrap/lib/kernel/ebin/inet_db.beam
diff --git a/bootstrap/lib/kernel/ebin/inet_gethost_native.beam b/bootstrap/lib/kernel/ebin/inet_gethost_native.beam
index 1f9241a378..22ee6ebfea 100644
--- a/bootstrap/lib/kernel/ebin/inet_gethost_native.beam
+++ b/bootstrap/lib/kernel/ebin/inet_gethost_native.beam
diff --git a/bootstrap/lib/kernel/ebin/kernel.app b/bootstrap/lib/kernel/ebin/kernel.app
index 83a01d75cb..93b0c3d78e 100644
--- a/bootstrap/lib/kernel/ebin/kernel.app
+++ b/bootstrap/lib/kernel/ebin/kernel.app
@@ -21,7 +21,7 @@
 {application, kernel,
  [
   {description, "ERTS  CXC 138 10"},
-  {vsn, "2.13.5"},
+  {vsn, "2.14"},
   {modules, [application,
 	     application_controller,
 	     application_master,
diff --git a/bootstrap/lib/kernel/ebin/kernel.appup b/bootstrap/lib/kernel/ebin/kernel.appup
index c5c34877ef..013c65b3e2 100644
--- a/bootstrap/lib/kernel/ebin/kernel.appup
+++ b/bootstrap/lib/kernel/ebin/kernel.appup
@@ -1 +1 @@
-{"2.13.5",[],[]}.
+{"2.14",[],[]}.
diff --git a/bootstrap/lib/kernel/ebin/kernel_config.beam b/bootstrap/lib/kernel/ebin/kernel_config.beam
index b291058d1a..fa245b95c4 100644
--- a/bootstrap/lib/kernel/ebin/kernel_config.beam
+++ b/bootstrap/lib/kernel/ebin/kernel_config.beam
diff --git a/bootstrap/lib/kernel/ebin/os.beam b/bootstrap/lib/kernel/ebin/os.beam
index aed29ac5ab..4a4051d0c1 100644
--- a/bootstrap/lib/kernel/ebin/os.beam
+++ b/bootstrap/lib/kernel/ebin/os.beam
diff --git a/bootstrap/lib/kernel/ebin/rpc.beam b/bootstrap/lib/kernel/ebin/rpc.beam
index 879f938be0..2a585c94b3 100644
--- a/bootstrap/lib/kernel/ebin/rpc.beam
+++ b/bootstrap/lib/kernel/ebin/rpc.beam
diff --git a/bootstrap/lib/kernel/include/file.hrl b/bootstrap/lib/kernel/include/file.hrl
index 2273b0c5a6..b46400ca26 100644
--- a/bootstrap/lib/kernel/include/file.hrl
+++ b/bootstrap/lib/kernel/include/file.hrl
@@ -21,29 +21,18 @@
 -define(FILE_HRL_, 1).
 %%--------------------------------------------------------------------------
 
-%%-type namelist() :: [char() | atom() | namelist()].
--type namelist() :: [_].       %% XXX: GROSS OVERAPPROXIMATION -- FIX ME
--type name() :: string() | atom() | namelist().
--type posix() :: atom().
-
--type date() :: {pos_integer(), pos_integer(), pos_integer()}.
--type time() :: {non_neg_integer(), non_neg_integer(), non_neg_integer()}.
--type date_time() :: {date(), time()}.
-
-%%--------------------------------------------------------------------------
-
 -record(file_info,
 	{size   :: non_neg_integer(),	% Size of file in bytes.
 	 type   :: 'device' | 'directory' | 'other' | 'regular' | 'symlink',
 	 access :: 'read' | 'write' | 'read_write' | 'none',
-	 atime  :: date_time(),	% The local time the file was last read:
-				% {{Year, Mon, Day}, {Hour, Min, Sec}}.
-	 mtime  :: date_time(),	% The local time the file was last written.
-	 ctime  :: date_time(),	% The interpretation of this time field
-	                        % is dependent on operating system.
-				% On Unix it is the last time the file or
-				% or the inode was changed.  On Windows,
-				% it is the creation time.
+	 atime  :: file:date_time(),	% The local time the file was last read:
+					% {{Year, Mon, Day}, {Hour, Min, Sec}}.
+	 mtime  :: file:date_time(),	% The local time the file was last written.
+	 ctime  :: file:date_time(),	% The interpretation of this time field
+					% is dependent on operating system.
+					% On Unix it is the last time the file
+					% or the inode was changed.  On Windows,
+					% it is the creation time.
 	 mode   :: integer(),		% File permissions.  On Windows,
 	 				% the owner permissions will be
 					% duplicated for group and user.
@@ -61,10 +50,8 @@
 
 
 -record(file_descriptor,
-	{module :: module(),      % Module that handles this kind of file
+	{module :: module(),     % Module that handles this kind of file
 	 data   :: term()}).     % Module dependent data
 
--type fd() :: pid() | #file_descriptor{}.
-
 %%--------------------------------------------------------------------------
 -endif.