| commit | 1e24cb146f75762a397d6076f935060d67fe29bb | |
| author | Michael Thomas <mjt@fb.com> | |
| Fri, 9 Apr 2021 16:03:06 +0000 (9 09:03 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 9 Apr 2021 16:04:31 +0000 (9 09:04 -0700) | ||
| tree | 62fd923999046e68354b145269abd001dc1d61b0 | treesnapshot (tar.gz zip) |
| parent | ab1908a49922f0a5d79e1516f248f637a8b634e2 | commitdiff |
represent calls to `unsafe_cast` as TAST `Hole`s
Summary:
Currently, calls to `unsafe_cast` are represented with the `Call` constructor. This diff changes this to use the `Hole` constructor so that we have a single way of representing casts on the TAST.
A `Hole` constructor resulting from a call to `unsafe_cast` is disambiguated from one generated during typing by the value of `hole_source`.
When adding a `Hole` for `unsafe_cast` the expression takes the type of the second type argument to the function i.e. the destination type of the cast.
Reviewed By: Wilfred
Differential Revision: D27463985
fbshipit-source-id: 96cbbe29b82645999044bd75c2d2a2e6036e28fb
Summary:
Currently, calls to `unsafe_cast` are represented with the `Call` constructor. This diff changes this to use the `Hole` constructor so that we have a single way of representing casts on the TAST.
A `Hole` constructor resulting from a call to `unsafe_cast` is disambiguated from one generated during typing by the value of `hole_source`.
When adding a `Hole` for `unsafe_cast` the expression takes the type of the second type argument to the function i.e. the destination type of the cast.
Reviewed By: Wilfred
Differential Revision: D27463985
fbshipit-source-id: 96cbbe29b82645999044bd75c2d2a2e6036e28fb
42 files changed: