blob: c108d298faae87e6c82d7577d196a762613ab2a9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
-- { dg-do compile }
-- { dg-options "-gnatct" }
package Task1 is
type Cable_Task_1 (C : Boolean) is limited private;
type Cable_Rec is limited record
Tsk_1 : Cable_Task_1 (C => False);
end record;
private
task type Cable_Task_1 (C : Boolean) is
end Cable_Task_1;
end Task1;
|
