diff options
| author | Maxime Dénès | 2019-05-01 10:02:21 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-05-28 17:09:56 +0200 |
| commit | 44f87dae748f8c84b7c9290b00c4d76197e5497a (patch) | |
| tree | af084340a6c0893f5c3bb311c5a9a61bcd855ddc /doc/plugin_tutorial | |
| parent | d4ca25df0f481345c99744acda28728c9682f0ac (diff) | |
[elaboration] Bidirectionality hints
This feature makes it possible to tell type inference to type
applications of a global `foo` using typing information from the context
once the `n` first arguments are known.
The syntax is: `Arguments foo x y | z`.
Closes #7910
Diffstat (limited to 'doc/plugin_tutorial')
0 files changed, 0 insertions, 0 deletions