Add hhconfig flag for po_enable_coeffects, clean up *.coeffects.exp and *.like_types.exp
commitc670a0036700d628d25abec4e2ae29a6508d7ffd
authorVassil Mladenov <vmladenov@fb.com>
Tue, 22 Dec 2020 21:17:10 +0000 (22 13:17 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 22 Dec 2020 21:20:00 +0000 (22 13:20 -0800)
tree8e3ae2c9730aa84c5b5302a0ed79174a74486429
parent2955b994cbc6ecd25a7a2ec72214fd3176fcddf9
Add hhconfig flag for po_enable_coeffects, clean up *.coeffects.exp and *.like_types.exp

Summary:
This flag makes it so you don't need __EnableUnstableFeatures to write down `[...]` coeffects in files, which is normally a parse error. This is the flag we'll flip for the release.

Also cleaning up old *.like_types.exp or *.coeffects.exp files that now match their .exp files

Reviewed By: DavidSnider, losvald

Differential Revision: D25683025

fbshipit-source-id: 110217e0a83a853b1c853a389a3de5178ea3722e
26 files changed:
hphp/hack/src/server/serverConfig.ml
hphp/hack/test/typecheck/array_non_static.php.coeffects.exp [deleted file]
hphp/hack/test/typecheck/call_in_static_darray.php.coeffects.exp [deleted file]
hphp/hack/test/typecheck/call_in_static_dict.php.coeffects.exp [deleted file]
hphp/hack/test/typecheck/call_in_static_dict_like_array.php.coeffects.exp [deleted file]
hphp/hack/test/typecheck/call_in_static_shape.php.coeffects.exp [deleted file]
hphp/hack/test/typecheck/call_in_static_varray.php.coeffects.exp [deleted file]
hphp/hack/test/typecheck/call_in_static_vec.php.coeffects.exp [deleted file]
hphp/hack/test/typecheck/call_in_static_vec_like_array.php.coeffects.exp [deleted file]
hphp/hack/test/typecheck/capitalization2.php.like_types.exp [deleted file]
hphp/hack/test/typecheck/collection_non_static.php.coeffects.exp [deleted file]
hphp/hack/test/typecheck/construct_default_values.php.coeffects.exp [deleted file]
hphp/hack/test/typecheck/construct_default_values2.php.coeffects.exp [deleted file]
hphp/hack/test/typecheck/dynamic_new4.php.like_types.exp [deleted file]
hphp/hack/test/typecheck/expression_trees/infinite_loop.php.like_types.exp [deleted file]
hphp/hack/test/typecheck/expression_trees/nested_splicing.php.like_types.exp [deleted file]
hphp/hack/test/typecheck/expression_trees/nested_splicing2.php.like_types.exp [deleted file]
hphp/hack/test/typecheck/func_ptr_in_constants/custom_function.php.coeffects.exp [deleted file]
hphp/hack/test/typecheck/instanceof/instanceof_static_with_reqs.php.like_types.exp [deleted file]
hphp/hack/test/typecheck/list_non_static.php.coeffects.exp [deleted file]
hphp/hack/test/typecheck/map_non_static.php.coeffects.exp [deleted file]
hphp/hack/test/typecheck/reactive/reassign_in_foreach3.php.like_types.exp [deleted file]
hphp/hack/test/typecheck/reactive/reassign_in_foreach4.php.like_types.exp [deleted file]
hphp/hack/test/typecheck/reactive/reassign_in_foreach5.php.like_types.exp [deleted file]
hphp/hack/test/typecheck/records/record_decl_not_const.php.coeffects.exp [deleted file]
hphp/hack/test/typecheck/tconst/lvar_expr_dependent2.php.coeffects.exp [deleted file]