Add module declaration type checking
[hiphop-php.git] / hphp / hack / test / fanout / modules / module-change-membership.php
blob8521613d18724e6c27940b4a1dc40521ad14d6b7
1 //// base-decls.php
2 <?hh
3 <<file: __EnableUnstableFeatures('modules')>>
5 module A {}
6 module B {}
8 //// changed-decls.php
9 <?hh
10 <<file: __EnableUnstableFeatures('modules')>>
12 module A {}
13 module B {}
15 //// base-f.php
16 <?hh
17 <<file: __EnableUnstableFeatures('modules'), __Module('A')>>
19 <<__Internal>>
20 function f(): void {}
22 //// changed-f.php
23 <?hh
24 <<file: __EnableUnstableFeatures('modules'), __Module('B')>>
26 <<__Internal>>
27 function f(): void {}
29 //// base-g.php
30 <?hh
31 <<file: __EnableUnstableFeatures('modules'), __Module('A')>>
33 function g(): void {
34 f();
37 //// changed-g.php
38 <?hh
39 <<file: __EnableUnstableFeatures('modules'), __Module('A')>>
41 function g(): void {
42 f();