1-- { dg-do compile } 2 3with Pure_Subp_Body_Pkg; 4 5procedure Pure_Subp_Body with Pure is 6begin 7 null; 8end Pure_Subp_Body; 9 10-- cannot depend on "Pure_Subp_Body_Pkg" (wrong categorization) 11-- { dg-error "cannot depend on \"Pure_Subp_Body_Pkg\" \\(wrong categorization\\)" "" { target *-*-* } 3 } 12-- { dg-error "pure unit cannot depend on non-pure unit" "non-pure unit" { target *-*-* } 3 } 13