| commit | 9c5846d40cd26735fb90a5447ae134f680bd5c2b | |
| author | Thomas Jiang <thomasjiang@fb.com> | |
| Thu, 12 Nov 2020 05:59:05 +0000 (11 21:59 -0800) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 12 Nov 2020 06:01:13 +0000 (11 22:01 -0800) | ||
| tree | cbdb83b23e1c712bfb330a6793d824adfd2922fa | treesnapshot (tar.gz zip) |
| parent | 06573e69f594294dcf244af757c5a61a7e62f865 | commitdiff |
Desugar function calls
Summary:
We want to desugar function calls a bit specially:
```
MyVisitor`foo(...)`
```
is desugared for typechecking as
```
__splice__( MyVisitor::symbol('foo', foo<>) )( ... )
```
and then this is desugared for runtime as
```
(MyVisitor $v) ==> {
return $v->call(
new ExprPos(...),
$v->splice( MyVisitor::symbol('foo', foo<>) ),
vec[ ... ],
);
}
```
Reviewed By: Wilfred
Differential Revision: D24686823
fbshipit-source-id: 6c5f1caf94ad351eae49697d36c73285cdb8aba7
Summary:
We want to desugar function calls a bit specially:
```
MyVisitor`foo(...)`
```
is desugared for typechecking as
```
__splice__( MyVisitor::symbol('foo', foo<>) )( ... )
```
and then this is desugared for runtime as
```
(MyVisitor $v) ==> {
return $v->call(
new ExprPos(...),
$v->splice( MyVisitor::symbol('foo', foo<>) ),
vec[ ... ],
);
}
```
Reviewed By: Wilfred
Differential Revision: D24686823
fbshipit-source-id: 6c5f1caf94ad351eae49697d36c73285cdb8aba7
64 files changed: