| commit | 7a2a8290e71f467cfa6890c2fbe3b741e1157173 | |
| author | Oguz Ulgen <oulgen@fb.com> | |
| Fri, 28 May 2021 03:04:18 +0000 (27 20:04 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 28 May 2021 03:05:58 +0000 (27 20:05 -0700) | ||
| tree | 66f784e0a584167a040c28b61adca69e2b4a40ca | treesnapshot (tar.gz zip) |
| parent | 21ce0d11e5dfc6b6462eb16406d4557d1e48410b | commitdiff |
Skip over caller coeffect rule for error messages
Summary: If the coeffect rule of the caller is `caller` which is used to indicate read the coeffects of the caller function (i.e. caller of the caller) used for `meth_caller`, skip over the caller function.
Reviewed By: jano
Differential Revision: D28582197
fbshipit-source-id: c19e2b58c285cf700e4042f0aa5b3a79f2cf6d72
Summary: If the coeffect rule of the caller is `caller` which is used to indicate read the coeffects of the caller function (i.e. caller of the caller) used for `meth_caller`, skip over the caller function.
Reviewed By: jano
Differential Revision: D28582197
fbshipit-source-id: c19e2b58c285cf700e4042f0aa5b3a79f2cf6d72