diff options
author | Hans Bolinder <[email protected]> | 2016-08-30 10:53:30 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2016-08-31 15:01:43 +0200 |
commit | 0ca1c088b5cf03357154c0b9178d99893f0eaf5c (patch) | |
tree | abe31594d208bc6a4fe262bc85030bf447f52fca /prebuild.delete | |
parent | f3e018dc3bb3c74b88c7454f6a1888938215f912 (diff) | |
download | otp-0ca1c088b5cf03357154c0b9178d99893f0eaf5c.tar.gz otp-0ca1c088b5cf03357154c0b9178d99893f0eaf5c.tar.bz2 otp-0ca1c088b5cf03357154c0b9178d99893f0eaf5c.zip |
dialyzer: Optimize an opaque type case
Fix a mistake in commit 85f6fe3b.
Instead of using the declared opaque type, the form's type is used in
a case where the opaque type is turned into a non-opaque type. The
result is more general types (smaller Erlang terms) and faster
analyses.
Diffstat (limited to 'prebuild.delete')
0 files changed, 0 insertions, 0 deletions