diff options
| author | Kostis Sagonas <[email protected]> | 2013-03-08 14:47:03 +0100 |
|---|---|---|
| committer | Fredrik Gustafsson <[email protected]> | 2013-04-04 10:32:59 +0200 |
| commit | 651d75a065fb36c81fb5b1e2d0ca8cc75b725252 (patch) | |
| tree | da8211bed252ec9fa728cdc464308b0e5ad9a134 /lib/pman/ebin | |
| parent | b8e72765305590eb7c89166ce261843d54c9bcde (diff) | |
| download | otp-651d75a065fb36c81fb5b1e2d0ca8cc75b725252.tar.gz otp-651d75a065fb36c81fb5b1e2d0ca8cc75b725252.tar.bz2 otp-651d75a065fb36c81fb5b1e2d0ca8cc75b725252.zip | |
Consistent definition of priority levels
In the specs and the documentation of the spawn_opt family of functions
there is the following definition of priority levels:
Level = low | normal | high
However, the process_flag/1 function in that module reads:
process_flag(Flag :: priority, Level) -> OldLevel
Types:
Level = OldLevel = priority_level()
priority_level() = low | normal | high | max
This is clearly inconsistent. Change specs to use the process_level()
type declaration instead of re-defining it in various places.
Diffstat (limited to 'lib/pman/ebin')
0 files changed, 0 insertions, 0 deletions