Fix crash with identifier named "namespace"
commit7ec7378a04649a0d937eec10b90255dc525aab71
authorJosh Watzman <jwatzman@fb.com>
Fri, 29 May 2015 17:58:40 +0000 (29 10:58 -0700)
committerhhvm-bot <hhvm-bot@fb.com>
Fri, 29 May 2015 21:30:50 +0000 (29 14:30 -0700)
tree438593bf3d3280aa9b87e7131e339798ecaf456a
parent387fe390aa9ba31b5389bd36bc9950c0c9ad9461
Fix crash with identifier named "namespace"

Summary: Ideally we would reject this, but we at least should not
*crash*.

Reviewed By: @fredemmott

Differential Revision: D2111060
hphp/hack/src/parsing/namespaces.ml
hphp/hack/test/typecheck/namespace_namespace3.php [new file with mode: 0644]
hphp/hack/test/typecheck/namespace_namespace3.php.exp [new file with mode: 0644]