diff options
| author | John Högberg <[email protected]> | 2019-01-14 17:37:10 +0100 |
|---|---|---|
| committer | John Högberg <[email protected]> | 2019-01-21 07:49:21 +0100 |
| commit | 5b031644e43196144a5824a6d2ade18153779cff (patch) | |
| tree | 4ec3258e53ae3701f58acdf6fb62002adb6cfb43 /lib/compiler/src/beam_ssa_bsm.erl | |
| parent | cb4f08d8e6ebed95a0cec282a01e8b6c7972a2d3 (diff) | |
| download | otp-5b031644e43196144a5824a6d2ade18153779cff.tar.gz otp-5b031644e43196144a5824a6d2ade18153779cff.tar.bz2 otp-5b031644e43196144a5824a6d2ade18153779cff.zip | |
beam_validator: Add a stable interface for type annotations
Diffstat (limited to 'lib/compiler/src/beam_ssa_bsm.erl')
| -rw-r--r-- | lib/compiler/src/beam_ssa_bsm.erl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/compiler/src/beam_ssa_bsm.erl b/lib/compiler/src/beam_ssa_bsm.erl index 9631bf3334..466337db0e 100644 --- a/lib/compiler/src/beam_ssa_bsm.erl +++ b/lib/compiler/src/beam_ssa_bsm.erl @@ -877,7 +877,8 @@ annotate_context_parameters(F, ModInfo) -> %% Assertion. error(conflicting_parameter_types); (K, suitable_for_reuse, Acc) -> - Acc#{ K => match_context }; + T = beam_validator:type_anno(match_context), + Acc#{ K => T }; (_K, _V, Acc) -> Acc end, TypeAnno0, ParamInfo), |