| commit | 4753a4180f32018a3219681b8a793f95fe574116 | |
| author | Kunal Mehta <kunalm@fb.com> | |
| Wed, 26 Jun 2019 04:08:11 +0000 (25 21:08 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Wed, 26 Jun 2019 04:11:32 +0000 (25 21:11 -0700) | ||
| tree | e0b20706b3f58a282460639f0dc05cc0eaccd440 | treesnapshot (tar.gz zip) |
| parent | 716252f4e1077f5fe5a59f4db1da5b0172382539 | commitdiff |
Add dynamic to TypeStructure
Summary:
For the purposes of reified generics, we need `dynamic` to be distinct from `mixed`.
Previously, `dynamic` was an alias to `mixed` in the compiler. Now, it has a distinct type structure representation, but the typehints are still emitted as `mixed`. This way, we don't have to add a whole new type to HHVM. The same optimizations for `is` expressions carry over from `mixed`.
Reviewed By: oulgen
Differential Revision: D15908205
fbshipit-source-id: e8e70a53fbf541478e1b63878922c6ee58e9fd31
Summary:
For the purposes of reified generics, we need `dynamic` to be distinct from `mixed`.
Previously, `dynamic` was an alias to `mixed` in the compiler. Now, it has a distinct type structure representation, but the typehints are still emitted as `mixed`. This way, we don't have to add a whole new type to HHVM. The same optimizations for `is` expressions carry over from `mixed`.
Reviewed By: oulgen
Differential Revision: D15908205
fbshipit-source-id: e8e70a53fbf541478e1b63878922c6ee58e9fd31
15 files changed: