diff options
| author | Kostis Sagonas <[email protected]> | 2010-09-24 15:57:13 +0300 |
|---|---|---|
| committer | Kostis Sagonas <[email protected]> | 2010-09-24 15:57:13 +0300 |
| commit | 3fbe522acb52ae4123e0068d352b8aa4ab767ece (patch) | |
| tree | a8d81757ddab39cb3a11d16b91c512bbd710951b /lib/dialyzer/plt | |
| parent | dd51118499209bbd91c0092d9778897026bde4c6 (diff) | |
| download | otp-3fbe522acb52ae4123e0068d352b8aa4ab767ece.tar.gz otp-3fbe522acb52ae4123e0068d352b8aa4ab767ece.tar.bz2 otp-3fbe522acb52ae4123e0068d352b8aa4ab767ece.zip | |
Fix two errors in dialyzer
Changes which fix some problems reported by dialyzer users:
1. The handling of nested opaque types
2. The handling of remote types in record expressions used as types
While at it, updated dialyzer's RELEASE_NOTES to reflect these fixes
and did some cleanups to dialyzer_utils.erl so that it gets in sync
with dialyzer's main development branch.
Diffstat (limited to 'lib/dialyzer/plt')
0 files changed, 0 insertions, 0 deletions