blob: 9aab468dba8f421d3a0ae2109da04fd8ed3128b0 (
plain)
1
2
3
4
5
6
7
8
|
-- { dg-do compile }
package body Pure_Function1 is
function F return Integer is (0);
pragma Pure_Function (F); -- { dg-error "pragma \"Pure_Function\" argument must be in same declarative part" }
pragma Pure_Function (F); -- { dg-error "pragma \"Pure_Function\" argument must be in same declarative part" }
pragma Pure_Function (F); -- { dg-error "pragma \"Pure_Function\" argument must be in same declarative part" }
end;
|
