osate/osate2-core — Issue #40: Package resolution without import
Author: jftilman
Created: 2012-02-16 16:41:50+00:00
State: open

With respect to §4.2 (N5) of the standard, writing two packages:

package Package1
public
system S1
end S1;
end Package1;

and

package Package2
public
system S2 extends Package1::S1
end S2;
end Package2;

should not work, because Package1 is not declared in a with close in Package2.
Osate does not claim.