From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path:
exit when
. The following expression is therefore
now valid raise Constraint_Error with "Element is null"
when Element = null;
case
statement has been extended to cover
records and arrays as well as finer grained casing on scalar
types. In the future it is expected to provide more compile
time guarantees when accessing discriminated fields. Case
exhaustion is supported for pattern matching. An example would
- be
+ be
type Sign is (Neg, Zero, Pos);
function Multiply (S1, S2 : Sign) return Sign is
@@ -236,7 +236,7 @@ function Multiply (S1, S2 : Sign) return Sign is
when (Neg, Neg) | (Pos, Pos) => Pos,
when (Zero, <>) | (<>, Zero) => Zero,
when (Neg, Pos) | (Pos, Neg) => Neg);
-