hphp/test/slow/coeffects/rx/call_enforcement_pure.php

   1 <?hh
   2
   3 function non_rx($fn) {
   4   if ($fn) $fn(null);
   5 }
   6
   7 function rx_local($fn)[rx_local] {
   8   if ($fn) $fn(null);
   9 }
  10
  11 function rx_shallow($fn)[rx_shallow] {
  12   if ($fn) $fn(null);
  13 }
  14
  15 function rx($fn)[rx] {
  16   if ($fn) $fn(null);
  17 }
  18
  19 function pure($fn)[] {
  20   if ($fn) $fn(null);
  21 }
  22
  23 <<__EntryPoint>>
  24 function main() {
  25   $functions = vec['non_rx', 'rx_local', 'rx_shallow', 'rx', 'pure'];
  26   foreach ($functions as $caller) {
  27     foreach ($functions as $callee) {
  28       try {
  29         $caller($callee);
  30         echo "$caller -> $callee: ok\n";
  31       } catch (Exception $e) {
  32         echo "$caller -> $callee: ".$e->getMessage()."\n";
  33       }
  34     }
  35   }
  36 }