Extract newtype definitions with their upper bounds
commit5d14cf3a75749e544a3d0b8399754f3760ca6a7d
authorSasha Manzyuk <manzyuk@fb.com>
Tue, 10 Dec 2019 11:30:51 +0000 (10 03:30 -0800)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Tue, 10 Dec 2019 11:34:00 +0000 (10 03:34 -0800)
tree6c75e6c19b672ad30573e86039a7097594d821af
parent22f013f49dca266f47b7c5898ef1015acf5a9013
Extract newtype definitions with their upper bounds

Summary: At the moment, newtype definitions are extracted with the upper bounds (constraints) omitted.  See an example below where this produces a type error in the extracted code.

Reviewed By: andrewjkennedy

Differential Revision: D18884420

fbshipit-source-id: b78bce0b988cf55a7f460102634b608c1ac86c38
hphp/hack/src/server/serverExtractStandalone.ml
hphp/hack/test/integration/data/dependencies/expected/__with_newtype_with_bound.php.exp [new file with mode: 0644]
hphp/hack/test/integration/data/dependencies/partial.php
hphp/hack/test/integration/data/dependencies/toplevel.php
hphp/hack/test/integration/test_extract_standalone.py