| commit | 0d06a90be2bcfd36fc76b90eb8993ead8c8c79b2 | |
| author | Michael Thomas <mjt@fb.com> | |
| Thu, 18 Mar 2021 14:39:22 +0000 (18 07:39 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 18 Mar 2021 14:41:35 +0000 (18 07:41 -0700) | ||
| tree | ceb1c7b1e5d64df2d2657e771203698d165f8cc2 | treesnapshot (tar.gz zip) |
| parent | 90728fc0440bab18a5c5ff669914035f5f73dbef | commitdiff |
Add AAST `Hole` for subtype/coercion error annotation
Summary: Add an additional constructor to the core `expr_` data type to record the actual and expected type of an expression when a subtype or coercion fails. This should only be present in the AST after typing and should be transparent with respect to e.g. zoncolan analyses
Differential Revision: D27007255
fbshipit-source-id: f8311cb1e55684cfc403be7fe42a9e612e26d820
Summary: Add an additional constructor to the core `expr_` data type to record the actual and expected type of an expression when a subtype or coercion fails. This should only be present in the AST after typing and should be transparent with respect to e.g. zoncolan analyses
Differential Revision: D27007255
fbshipit-source-id: f8311cb1e55684cfc403be7fe42a9e612e26d820
18 files changed: