String interpolation allowing keywords
commit52da2b9e7f71787f8cd100bbc22d481a14520609
authorPhilip Hölzenspies <drphil@fb.com>
Mon, 18 Sep 2017 12:35:22 +0000 (18 05:35 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Mon, 18 Sep 2017 12:49:58 +0000 (18 05:49 -0700)
treecbd05d2d2fa6bc778b2bfd3e9125587d14def1fe
parenta623986876ab53db418dd23d9ce0f83ddbb750af
String interpolation allowing keywords

Summary:
An interesting corner-case of string interpolation;
```
function(string $name): string {
  $public = 'hello';
  return "${public} ${name}";
}
```
where `public` should not be lexed as a keyword `Public`, but rather as a `Name`.

Reviewed By: ericlippert

Differential Revision: D5787873

fbshipit-source-id: 0b1fe7d5db60e41c68ce16fabe6fdf611a0b1dcc
hphp/hack/src/parser/full_fidelity_ast.ml
hphp/hack/src/parser/full_fidelity_expression_parser.ml
hphp/hack/src/parser/full_fidelity_parser_helpers.ml