blob: ce4ddf8035f0dd535956ec29a4827cf49121426a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
-- { dg-do compile }
-- { dg-options "-gnata" }
with System.Assertions; use System.Assertions;
with Predicate4_Pkg;
procedure Predicate4 is
type V is new Float;
package MXI2 is new Predicate4_Pkg (V);
use MXI2;
OK : Lt := (Has => False);
begin
declare
Wrong : Lt := (Has => True, MX => 3.14);
begin
raise Program_Error;
end;
exception
when Assert_Failure => null;
end;
|
