aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/icode/hipe_icode_fp.erl
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2014-02-03 10:27:39 +0100
committerHans Bolinder <[email protected]>2014-02-22 19:05:47 +0100
commit85a5aca047ea4c3dcdeb1e47cdf523a48140bf18 (patch)
tree48792bcd4ed41c9e8a974c1dc42f425dc8c0a970 /lib/hipe/icode/hipe_icode_fp.erl
parentf58b946a2d1c1b9c8fa9701932ca2ee21bd7dd5b (diff)
downloadotp-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/hipe/icode/hipe_icode_fp.erl')
0 files changed, 0 insertions, 0 deletions