Collect and output function locals
commit5d6ea1a7d0e0790cc5cddc014f152eb3c2ed0cf4
authorArtem Pianykh <arr@meta.com>
Wed, 2 Nov 2022 16:04:55 +0000 (2 09:04 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 2 Nov 2022 16:04:55 +0000 (2 09:04 -0700)
tree7e941052262850ed17364bcb6a321edbb9e1e4a0
parentc24f6e777d8db6f556718ecdb44ef0cfc8712e57
Collect and output function locals

Summary: Textual now requires that locals are explicitly defined. Since we don't have type information at hand, we assign `*void` type to every local (it's a bit more general than `*Mixed`). We may need something more reasonable in the future, however.

Reviewed By: geralt-encore

Differential Revision: D40812548

fbshipit-source-id: a8a655252fc80f3f0b2c3cf97d404ae3d79e1f91
hphp/hack/src/hackc/ir/conversions/textual/class.rs
hphp/hack/src/hackc/ir/conversions/textual/func.rs
hphp/hack/src/hackc/ir/conversions/textual/textual.rs
hphp/hack/src/hackc/test/infer/locals.hack [new file with mode: 0644]