hphp/test/quick/strict_types.hhas

   1 # tests that .strict 1 enables strict types, so this test should fail
   2
   3 .strict 1;
   4
   5 .main {
   6   FPushFuncD 1 "var_dump"
   7   FPushFuncD 2 "add"
   8   String "1"
   9   String "2"
  10   FCall <> 2 1 "" - "" ""
  11   FCall <> 1 1 "" - "" ""
  12   PopC
  13   Int 1
  14   RetC
  15 }
  16
  17 .function <"" N  > add(<"HH\\int" "HH\\int"  > $a, <"HH\\int" "HH\\int"  > $b) {
  18   VerifyParamType $a
  19   VerifyParamType $b
  20   CGetL $b
  21   CGetL2 $a
  22   AddO
  23   RetC
  24 }