diff options
| author | Björn Gustavsson <[email protected]> | 2018-06-26 06:59:40 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2018-08-17 09:50:59 +0200 |
| commit | 1f221b27f1336e747f7409692f260055dd3ddf79 (patch) | |
| tree | dd975a49e865308650dbb6df00a19a258c9a2b01 /lib/compiler/src/beam_except.erl | |
| parent | 684d07d0e21a31a6c166dda8aa3e444d217cb9d5 (diff) | |
| download | otp-1f221b27f1336e747f7409692f260055dd3ddf79.tar.gz otp-1f221b27f1336e747f7409692f260055dd3ddf79.tar.bz2 otp-1f221b27f1336e747f7409692f260055dd3ddf79.zip | |
beam_validator: Infer the types of copies in a smarter way
Smarter code generation means that beam_validator must
be smarter too. In the following example, beam_validator
must be able to infer that y0 refers to a map:
move x0 y0
test is_map L1 x0
%% Here the type for y0 must be 'map'.
Diffstat (limited to 'lib/compiler/src/beam_except.erl')
0 files changed, 0 insertions, 0 deletions