diff options
| author | Alasdair Armstrong | 2018-11-12 20:54:27 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-11-12 22:15:39 +0000 |
| commit | 7a0fba122b781a41de080e365c6d360f41117698 (patch) | |
| tree | 6d80093258140c2bf3a003776c16e835501ecc82 /src/reporting.mli | |
| parent | 76d5e3227d529f6ef23a822e498b476e9bccae5c (diff) | |
Infer tuple l-expressions types if all components are inferrable
This fixes another case we often have to patch manually in translated ASL
code where a function returns a (result, Constraint)-pair.
Also (slightly) improve the error message for when we fail to infer a
l-expression, as we are going to hit this case more often now.
Diffstat (limited to 'src/reporting.mli')
0 files changed, 0 insertions, 0 deletions