hphp/hack/test/typecheck/reactive/test_lambda_reactive.php

   1 <?hh // strict
   2 <<__Rx>>
   3 function test(): Rx<(function(): int)> {
   4   $x = function() {
   5     return 5;
   6   };
   7   return $x;
   8 }
   9
  10 // $x is reactive, no error
  11 function test2(): Rx<(function(): int)> {
  12   $x = function() {
  13     return 5;
  14   };
  15   return $x;
  16 }
  17
  18 class GlobalClassName {
  19   public static int $val = 5;
  20 }
  21
  22 // $x is not reactive, error
  23 function test3(): Rx<(function(): int)> {
  24   $x = function() {
  25     return GlobalClassName::$val;
  26   };
  27   return $x;
  28 }