hphp/hack/test/typecheck/modules/module_methods_basic.php

   1 //// modules.php
   2 <?hh
   3 <<file:__EnableUnstableFeatures('modules')>>
   4
   5 module A {}
   6 module B {}
   7 //// A.php
   8 <?hh
   9 // Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.
  10 <<file:__EnableUnstableFeatures('modules'), __Module('A')>>
  11
  12 class A {
  13   <<__Internal>>
  14   public function f(): void {}
  15
  16   public function g(): void { $this->f(); /* ok */ }
  17
  18 }
  19
  20 function a(A $a): void { $a->f(); /* ok */ }
  21
  22 //// B.php
  23 <?hh
  24 // Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.
  25 <<file:__EnableUnstableFeatures('modules'), __Module('B')>>
  26
  27 class B {
  28   public function f(A $a): void {
  29     $a->f(); // error
  30   }
  31 }
  32
  33 function b(A $a): void { $a->f(); /* error */ }
  34
  35 //// main.php
  36 <?hh
  37 function main(A $a): void { $a->f(); /* error */ }