| commit | 22b3ab8a38a84bc8ea2f83128e022163161d1ba7 | |
| author | Catherine Gasnier <catg@fb.com> | |
| Fri, 29 Jul 2022 18:53:29 +0000 (29 11:53 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 29 Jul 2022 18:53:29 +0000 (29 11:53 -0700) | ||
| tree | c74b30bf3cf764f62ea49fb939e556df68068246 | treesnapshot (tar.gz zip) |
| parent | 0bb58a4932bf90608fcb4dcb50258273841ecad0 | commitdiff |
Typecheck the `finally` block with the right continuations.
Summary:
It turns out not all continuations should be used to typecheck the `finally` block. For example the `do` continuation should not be used because `do` statements don't cause the control flow to jump to the finally block like a `break` statement would.
This diff fixes that.
There are a few refactorings, renamings and type annotations in this diff as well.
Reviewed By: losvald
Differential Revision: D38137536
fbshipit-source-id: 2f3df0885a953ce5fa3ee9b09fc4e13715e03f3b
Summary:
It turns out not all continuations should be used to typecheck the `finally` block. For example the `do` continuation should not be used because `do` statements don't cause the control flow to jump to the finally block like a `break` statement would.
This diff fixes that.
There are a few refactorings, renamings and type annotations in this diff as well.
Reviewed By: losvald
Differential Revision: D38137536
fbshipit-source-id: 2f3df0885a953ce5fa3ee9b09fc4e13715e03f3b