diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/specs')
-rw-r--r-- | gcc/testsuite/gnat.dg/specs/task1.ads | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/specs/task1.ads b/gcc/testsuite/gnat.dg/specs/task1.ads new file mode 100644 index 0000000..c108d29 --- /dev/null +++ b/gcc/testsuite/gnat.dg/specs/task1.ads @@ -0,0 +1,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; |