--* -- -- OBJECTIVE: -- Check that a library unit pragma applied to a generic does not apply to -- its instances. (Defect Report 8652/0034). -- -- APPLICABILITY CRITERIA: -- This test is only applicable to implementation which support the -- Distributed Systems annex. -- -- CHANGE HISTORY: -- 29 JAN 2001 PHL Initial version -- --! with Ba1507B_2; -- ERROR with Ba1507B_3; -- ERROR package Ba1507B is pragma Remote_Types; end Ba1507B; generic type T is private; package Ba1507B_0 is pragma Shared_Passive; -- N/A => ERROR type Nt is new T; end Ba1507B_0; generic type T is private; package Ba1507B_1 is pragma Remote_Types; -- N/A => ERROR type Nt is new T; end Ba1507B_1; with Ba1507B_0; package Ba1507B_2 is new Ba1507B_0 (Float); -- Not Shared_Passive with Ba1507B_1; package Ba1507B_3 is new Ba1507B_1 (Duration); -- Not Remote_Types