+2012-05-15 Robert Dewar <dewar@adacore.com>
+
+ * s-osprim-mingw.adb, sem_eval.adb, a-calend-vms.ads: Minor reformatting
+
2012-05-15 Ed Schonberg <schonberg@adacore.com>
* sem_eval.adb (Subtypes_Statically_Match): In Ada 2012, static
subtype Month_Number is Integer range 1 .. 12;
subtype Day_Number is Integer range 1 .. 31;
- -- A Day_Duration value of 86_400.0 designates a new day
-
subtype Day_Duration is Duration range 0.0 .. 86_400.0;
+ -- Note that a value of 86_400.0 is the start of the next day
function Clock return Time;
-- The returned time value is the number of nanoseconds since the start
function Monotonic_Clock return Duration is
Current_Ticks : aliased LARGE_INTEGER;
Elap_Secs_Tick : Duration;
-
begin
if QueryPerformanceCounter (Current_Ticks'Access) = Win32.FALSE then
return 0.0;
-- In Ada 2012, subtypes statically match if their static predicates
-- match as well.
+ ----------------------
+ -- Predicates_Match --
+ ----------------------
+
function Predicates_Match return Boolean is
Pred1 : Node_Id;
Pred2 : Node_Id;
end if;
end Predicates_Match;
+ -- Start of processing for Subtypes_Statically_Match
+
begin
-- A type always statically matches itself
HB2 : constant Node_Id := Type_High_Bound (T2);
begin
- -- If the bounds are the same tree node, then match
+ -- If the bounds are the same tree node, then match if and only
+ -- if any predicates present also match.
if LB1 = LB2 and then HB1 = HB2 then
return Predicates_Match;