Typed AST: instance property access
commit8d0c746272a20e788028868b30ecfb05b17f7eeb
authorAndrew Kennedy <akenn@fb.com>
Fri, 6 Jan 2017 13:43:46 +0000 (6 05:43 -0800)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 6 Jan 2017 13:44:37 +0000 (6 05:44 -0800)
treeb4d4958465ef052cbc9fbc749bbcb441dddb7647
parentcf43a5418bce43e26ad3c67f484a797a9d684acd
Typed AST: instance property access

Summary:
We're more explicit in the typed AST about syntax of the form `e1->e2`, carefully distinguishing
property access from method invocation, and dynamic property access such as `$x->$y` from statically-known
property access such as `$x->y`. Also we will introduce separate node types for assignment to properties.

Reviewed By: hubyrod

Differential Revision: D4384000

fbshipit-source-id: 0d75d5ba34f3ed957c88c12d4e98f3a68f9595ce
hphp/hack/src/typing/tast.ml
hphp/hack/src/typing/typing.ml