[hipe, kernel, stdlib] Correct a few types

The type ascii_string() in the base64 module has been corrected.
The type file:file_info() has been cleaned up.
The type file:fd() has been made opaque in the documentation.
The type nodes() has been removed from erl_bif_types.erl.

1 files changed, 32 insertions, 27 deletions

diff --git a/lib/kernel/include/file.hrl b/lib/kernel/include/file.hrl
index bf97173122..69aec1ee36 100644
--- a/lib/kernel/include/file.hrl
+++ b/lib/kernel/include/file.hrl
@@ -1,7 +1,7 @@
 %%
 %% %CopyrightBegin%
 %%
-%% Copyright Ericsson AB 1997-2011. All Rights Reserved.
+%% Copyright Ericsson AB 1997-2013. 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
@@ -22,32 +22,37 @@
 %%--------------------------------------------------------------------------
 
 -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  :: file:date_time() | integer(), % The local time the file was last read:
-					         % {{Year, Mon, Day}, {Hour, Min, Sec}}.
-						 % atime, ctime, mtime may also be unix epochs()
-	 mtime  :: file:date_time() | integer(), % The local time the file was last written.
-	 ctime  :: file:date_time() | integer(), % 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.
-	 links  :: non_neg_integer(),	% Number of links to the file (1 if the
-					% filesystem doesn't support links).
-	 major_device :: integer(),	% Identifies the file system (Unix),
-	 				% or the drive number (A: = 0, B: = 1)
-					% (Windows).
-	 %% The following are Unix specific.
-	 %% They are set to zero on other operating systems.
-	 minor_device :: integer(),	% Only valid for devices.
-	 inode  :: integer(),  		% Inode number for file.
-	 uid    :: integer(),  		% User id for owner.
-	 gid    :: integer()}).	        % Group id for owner.
+        {size   :: non_neg_integer(),   % Size of file in bytes.
+         type   :: 'device' | 'directory' | 'other' | 'regular' | 'symlink',
+         access :: 'read' | 'write' | 'read_write' | 'none',
+         atime  :: file:date_time() | non_neg_integer(),
+                                     % The local time the file was last read:
+                                     % {{Year, Mon, Day}, {Hour, Min, Sec}}.
+                                     % atime, ctime, mtime may also be unix epochs()
+         mtime  :: file:date_time() | non_neg_integer(),
+                                     % The local time the file was last written.
+         ctime  :: file:date_time() | non_neg_integer(),
+                                     % 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   :: non_neg_integer(), % File permissions.  On Windows,
+                                     % the owner permissions will be
+                                     % duplicated for group and user.
+         links  :: non_neg_integer(),
+                                     % Number of links to the file (1 if the
+                                     % filesystem doesn't support links).
+         major_device :: non_neg_integer(),
+                                     % Identifies the file system (Unix),
+                                     % or the drive number (A: = 0, B: = 1)
+                                     % (Windows).
+         %% The following are Unix specific.
+         %% They are set to zero on other operating systems.
+         minor_device :: non_neg_integer(), % Only valid for devices.
+         inode   :: non_neg_integer(),       % Inode number for file.
+         uid     :: non_neg_integer(),       % User id for owner.
+         gid     :: non_neg_integer()}).     % Group id for owner.
 
 
 -record(file_descriptor,