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

   1 //// modules.php
   2 <?hh
   3 <<file:__EnableUnstableFeatures('modules')>>
   4
   5 module X {}
   6 module Y {}
   7 //// X.php
   8 <?hh
   9 // Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.
  10 <<file:__EnableUnstableFeatures('modules'), __Module('X')>>
  11
  12 <<__Internal>>
  13 enum X: int {
  14   A = 0;
  15   B = 1;
  16   C = 2;
  17 }
  18
  19 <<__Internal>>
  20 function f1(X $x): void {} // ok
  21
  22 function f2(X $x): void {} // error
  23
  24 <<__Internal>>
  25 function f5(): void {
  26   $x = X::A; // ok
  27 }
  28
  29 function f6(): void {
  30   $x = X::A; // ok
  31 }
  32
  33
  34 //// Y.php
  35 <?hh
  36 // Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.
  37 <<file:__EnableUnstableFeatures('modules'), __Module('Y')>>
  38
  39 function f3(X $x): void {} // error
  40
  41 function f7(): void {
  42   $x = X::A; // error
  43 }
  44
  45 //// no-module.php
  46 <?hh
  47 // Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.
  48
  49 function f4(X $x): void {} // error
  50
  51 function f8(): void {
  52   $x = X::A; // error
  53 }