diff options
| author | Hans Bolinder <[email protected]> | 2014-02-03 10:27:39 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-02-22 19:05:47 +0100 |
| commit | 85a5aca047ea4c3dcdeb1e47cdf523a48140bf18 (patch) | |
| tree | 48792bcd4ed41c9e8a974c1dc42f425dc8c0a970 /lib/dialyzer/src/dialyzer_dataflow.erl | |
| parent | f58b946a2d1c1b9c8fa9701932ca2ee21bd7dd5b (diff) | |
| download | otp-85a5aca047ea4c3dcdeb1e47cdf523a48140bf18.tar.gz otp-85a5aca047ea4c3dcdeb1e47cdf523a48140bf18.tar.bz2 otp-85a5aca047ea4c3dcdeb1e47cdf523a48140bf18.zip | |
Introduce parameterized opaque types
Handle immediate opaque types as aliases:
A declaration of dict/0
-opaque dict() :: dict(_, _).
-opaque dict(Key, Value) :: ...
is handled as an alias, that is, when using dict() it is immediately
replaced by dict(_, _).
This is a means to avoid having to handle equivalent opaque types
later. To be changed if it doesn't work well.
Diffstat (limited to 'lib/dialyzer/src/dialyzer_dataflow.erl')
0 files changed, 0 insertions, 0 deletions