+2013-04-23 Yannick Moy <moy@adacore.com>
+
+ * exp_ch5.adb: Minor typo.
+
+2013-04-23 Thomas Quinot <quinot@adacore.com>
+
+ * gnat_ugn.texi: Fix typo.
+
+2013-04-23 Ed Schonberg <schonberg@adacore.com>
+
+ * einfo.ads: Minor documentation clarification.
+
+2013-04-23 Bob Duff <duff@adacore.com>
+
+ * types.ads: Fix incorrect comment.
+
2013-04-23 Ed Schonberg <schonberg@adacore.com>
* sem_aux.adb sem_aux.ads (Effectively_has_Constrained_Partial_View):
-- type has no discriminants and the full view has discriminants with
-- defaults. In Ada 2005 heap-allocated objects of such types are not
-- constrained, and can change their discriminants with full assignment.
--- Sem_Aux.Effectively_Has_Constrained_Partial_View should be always
--- used by callers, rather than reading this attribute directly because,
--- according to RM 3.10.2 (27/2), untagged generic formal private types
--- and subtypes are also considered to have a constrained partial view
--- [when in a generic body].
+
+-- Ada 2012 has an additional rule (3.3. (23/10.3)) concerning objects
+-- declared in a generic package body. Objects whose type is an untagged
+-- generic formal private type are considered to have a constrained
+-- partial view. The predicate Object_Type_Has_Constrained_Partial_View
+-- in sem_aux is used to test for this case.
-- Has_Contiguous_Rep (Flag181)
-- Defined in enumeration types. True if the type as a representation
LE := Node (LE_Elmt);
Typ := Etype (Prefix (LE));
- -- Declare a constant to capture the value of the previx of each
+ -- Declare a constant to capture the value of the prefix of each
-- Loop_Entry attribute.
-- Generate:
@item -gnatjnn
@cindex @option{-gnatjnn} (@command{gcc})
-In normal operation mode (or if @option{-gnatj0} is used, then error messages
+In normal operation mode (or if @option{-gnatj0} is used), then error messages
with continuation lines are treated as though the continuation lines were
separate messages (and so a warning with two continuation lines counts as
three warnings, and is listed as three separate messages).
@item ^-j^/PROCESSES=^@var{n}
@cindex @option{^-j^/PROCESSES^} (@command{gnatmake})
@cindex Parallel make
-Use @var{n} processes to carry out the (re)compilations. On a
-multiprocessor machine compilations will occur in parallel. In the
-event of compilation errors, messages from various compilations might
-get interspersed (but @command{gnatmake} will give you the full ordered
-list of failing compiles at the end). If this is problematic, rerun
-the make process with n set to 1 to get a clean list of messages.
+Use @var{n} processes to carry out the (re)compilations. On a multiprocessor
+machine compilations will occur in parallel. If @var{n} is 0, then the
+maximum number of parallel compilations is the number of core processors
+on the platform. In the event of compilation errors, messages from various
+compilations might get interspersed (but @command{gnatmake} will give you the
+full ordered list of failing compiles at the end). If this is problematic,
+rerun the make process with n set to 1 to get a clean list of messages.
@item ^-k^/CONTINUE_ON_ERROR^
@cindex @option{^-k^/CONTINUE_ON_ERROR^} (@command{gnatmake})
-- the source file (we assume that the host system has the concept of a
-- file time stamp which is modified when a file is modified). These
-- time stamps are used to ensure consistency of the set of units that
- -- constitutes a library. Time stamps are 12 character strings with
+ -- constitutes a library. Time stamps are 14-character strings with
-- with the following format:
-- YYYYMMDDHHMMSS