hphp/hack/src/typing/nast_check/read_from_append_check.ml

   1 (*
   2  * Copyright (c) 2018, Facebook, Inc.
   3  * All rights reserved.
   4  *
   5  * This source code is licensed under the MIT license found in the
   6  * LICENSE file in the "hack" directory of this source tree.
   7  *
   8  *)
   9
  10 open Aast
  11 open Nast_check_env
  12
  13 let handler =
  14   object
  15     inherit Nast_visitor.handler_base
  16
  17     method! at_expr env s =
  18       match snd s with
  19       | Array_get ((p, _), None) when not env.array_append_allowed ->
  20         Errors.reading_from_append p
  21       | _ -> ()
  22   end