diff options
| author | Björn Gustavsson <[email protected]> | 2015-01-29 12:59:24 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2015-02-11 09:57:47 +0100 |
| commit | d85d00be70ace6cbdffcf54300b6573dd0f9f771 (patch) | |
| tree | 33728249db51fedbe7b93e03daf944ad0701c67b /lib/compiler/Makefile | |
| parent | ef029376067280869683776fc616f8514a2ff81a (diff) | |
| download | otp-d85d00be70ace6cbdffcf54300b6573dd0f9f771.tar.gz otp-d85d00be70ace6cbdffcf54300b6573dd0f9f771.tar.bz2 otp-d85d00be70ace6cbdffcf54300b6573dd0f9f771.zip | |
v3_core: Use Core Erlang annotations in a type-safe way
Core Erlang annotations are supposed to be a list of terms. v3_core
could temporarily stuff a record in the 'anno' field of a Core Erlang
record. That will cause Dialyzer warnings if we would tighten the
type specs for annotations. (We want to tighten the warnings in order
to catch more real problems.)
Avoid abusing the annotation by wrapping the entire Core Erlang
record in a #isimple{} record.
Reported-by: Kostis Sagonas
Diffstat (limited to 'lib/compiler/Makefile')
0 files changed, 0 insertions, 0 deletions