Public Git Hosting - hiphop-php.git/commit

commit	25a254c521344ec80013f286eb33998515995a4e
author	Vincent Siles <vsiles@fb.com>
	Tue, 28 Jul 2020 15:40:45 +0000 (28 08:40 -0700)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Tue, 28 Jul 2020 15:42:43 +0000 (28 08:42 -0700)
tree	ceeaee2f182261d9b64e05f9e36a4e134d9466aa	tree \| snapshot (tar.gz zip)
parent	af38cf732586ae31f8e079acef93d10b60500d6c	commit \| diff

Delete unused reasons

Summary: Remove reasons that are no longer used. (They are never constructed, only pattern matched against.)

Reviewed By: manzyuk

Differential Revision: D21999413

fbshipit-source-id: 383243a5032d1e1e9fc43791a66ddc53c7c40526

RSS Atom

hphp/hack/src/decl/decl_pos_utils.ml		diff \| blob \| blame \| history
hphp/hack/src/oxidized_by_rc/manual/typing_reason.rs		diff \| blob \| blame \| history
hphp/hack/src/oxidized_by_ref/gen/typing_reason.rs		diff \| blob \| blame \| history
hphp/hack/src/oxidized_by_ref/manual/typing_reason_impl.rs		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_print.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_reason.ml		diff \| blob \| blame \| history