diff options
| author | John Högberg <[email protected]> | 2019-03-04 10:19:39 +0100 |
|---|---|---|
| committer | John Högberg <[email protected]> | 2019-03-05 15:41:02 +0100 |
| commit | df2c6e627afefee0f2b1090ec1a577259edee401 (patch) | |
| tree | 0e4fa0a92b22587f4a23b5371ee08ccd080a7d52 /lib/compiler/src/cerl.erl | |
| parent | 6d6a82c78e6d3064e32e6686b4ac32d48cefed95 (diff) | |
| download | otp-df2c6e627afefee0f2b1090ec1a577259edee401.tar.gz otp-df2c6e627afefee0f2b1090ec1a577259edee401.tar.bz2 otp-df2c6e627afefee0f2b1090ec1a577259edee401.zip | |
beam_validator: Refactor branch handling
While complex_test made certain branching instructions a lot easier
to read, we're still using `branch_state` for many others which is
hard to read and makes it impossible to "abort" branches on type
conflicts.
This commit replaces nearly all uses of `branch_state` with a
general branching mechanism, improving readability and paving the
way for proper type conflict resolution.
Diffstat (limited to 'lib/compiler/src/cerl.erl')
0 files changed, 0 insertions, 0 deletions