| commit | cc563790f39695a4b47e34f0736984f531bc79c7 | |
| author | Eugene Letuchy <eletuchy@fb.com> | |
| Thu, 6 Nov 2014 16:23:32 +0000 (6 08:23 -0800) | ||
| committer | hhvm-bot <hhvm-bot@fb.com> | |
| Thu, 6 Nov 2014 19:00:20 +0000 (6 11:00 -0800) | ||
| tree | 3b7faa41463b85ee79cdd91226087947aa8fd900 | treesnapshot (tar.gz zip) |
| parent | 593a22c820bfef7ab84a1e31e9b1d0d174db56b6 | commitdiff |
typechecker: more instantiability tests
Summary: * the typehints for class members should be checked for instantiability
* add an optional param for testing instantiability to typing_hint
Reviewed By: @jwatzman
Differential Revision: D1663959
Signature: t1:1663959:1415299374:32bfb660288df0d661ca51c3f16749c0ba4d6fe1
Summary: * the typehints for class members should be checked for instantiability
* add an optional param for testing instantiability to typing_hint
Reviewed By: @jwatzman
Differential Revision: D1663959
Signature: t1:1663959:1415299374:32bfb660288df0d661ca51c3f16749c0ba4d6fe1
| hphp/hack/src/typing/typing.ml | diffblobblamehistory | |
| hphp/hack/src/typing/typing_decl.ml | diffblobblamehistory | |
| hphp/hack/src/typing/typing_hint.ml | diffblobblamehistory | |
| hphp/hack/test/typecheck/class_abstract_final_10.php | [new file with mode: 0644] | blob |
| hphp/hack/test/typecheck/class_abstract_final_10.php.exp | [new file with mode: 0644] | blob |
| hphp/hack/test/typecheck/class_abstract_final_9.php | [new file with mode: 0644] | blob |
| hphp/hack/test/typecheck/class_abstract_final_9.php.exp | [new file with mode: 0644] | blob |