hphp/hack/src/hackc/test/infer/locals.hack

   1 // RUN: %hackc compile-infer %s | FileCheck %s
   2 // CHECK: .source_language = "hack"
   3
   4 // CHECK: define $root.no_locals(this: *void, $a: *HackInt) : *void {
   5 // CHECK: #b0:
   6 // CHECK: }
   7 function no_locals(int $a) : void {
   8 }
   9
  10 // CHECK: define $root.only_locals(this: *void) : *void {
  11 // CHECK: local $a: *void, $b: *void
  12 // CHECK: #b0:
  13 // CHECK: }
  14 function only_locals() : void {
  15   $a = 1;
  16   $b = 2;
  17 }
  18
  19 // CHECK: define $root.params_and_locals(this: *void, $a: *HackInt) : *void {
  20 // CHECK: local $b: *void, $c: *void
  21 // CHECK: #b0:
  22 // CHECK: }
  23 function params_and_locals(int $a) : void {
  24   $b = 1;
  25   $c = 2;
  26 }