diff options
| author | Björn Gustavsson <[email protected]> | 2015-12-04 14:34:20 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2015-12-07 11:40:24 +0100 |
| commit | 807f0c8904be14c9088ebc41ade885ffac142b34 (patch) | |
| tree | 3a5a7383c05247d3d6d92e9b6012b394a93a88a7 /lib/jinterface/.classpath | |
| parent | f86828fead59ba0a28658d3f5e7d8dc80f1c73fb (diff) | |
| download | otp-807f0c8904be14c9088ebc41ade885ffac142b34.tar.gz otp-807f0c8904be14c9088ebc41ade885ffac142b34.tar.bz2 otp-807f0c8904be14c9088ebc41ade885ffac142b34.zip | |
Correct rand:export_seed/0 when there is no prior seed
According to the documentation, rand:export_seed/0 should return
'undefined' if the seed has not been intialized. However, it will
create and return a seed. That means that the following code
will not work as expected:
case rand:export_seed() of
undefined -> rand:seen({1,2,3});
_ -> ok
end,
rand:uniform(Range)
Diffstat (limited to 'lib/jinterface/.classpath')
0 files changed, 0 insertions, 0 deletions