diff options
| author | Patrik Nyblom <[email protected]> | 2012-01-27 12:06:14 +0100 |
|---|---|---|
| committer | Patrik Nyblom <[email protected]> | 2012-02-07 16:00:11 +0100 |
| commit | bd941f5020cd50b7532b55454795c2985c372e64 (patch) | |
| tree | bbdb3ec251c958bb8035b1b026eed2bfb571e215 /lib/kernel/src | |
| parent | 2fc37e356b8c17064ad39d0418b62edd28675e19 (diff) | |
| download | otp-bd941f5020cd50b7532b55454795c2985c372e64.tar.gz otp-bd941f5020cd50b7532b55454795c2985c372e64.tar.bz2 otp-bd941f5020cd50b7532b55454795c2985c372e64.zip | |
Correct dializer errors in erlang.erl and others
New errors found when adding specs to erlang.erl and
removing them from erl_bif_types are examined and corrected.
Some errors was due to faulty specs, while others were actual
errors in the code using BIF's.
Diffstat (limited to 'lib/kernel/src')
| -rw-r--r-- | lib/kernel/src/disk_log_1.erl | 2 | ||||
| -rw-r--r-- | lib/kernel/src/error_handler.erl | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/kernel/src/disk_log_1.erl b/lib/kernel/src/disk_log_1.erl index 266df84a03..0cb1ed579a 100644 --- a/lib/kernel/src/disk_log_1.erl +++ b/lib/kernel/src/disk_log_1.erl @@ -1495,7 +1495,7 @@ fwrite_close2(Fd, FileName, B) -> pwrite_close2(Fd, FileName, Position, B) -> case file:pwrite(Fd, Position, B) of ok -> ok; - Error -> file_error(FileName, {error, Error}) + {error,Error} -> file_error(FileName, {error, Error}) end. position2(Fd, FileName, Pos) -> diff --git a/lib/kernel/src/error_handler.erl b/lib/kernel/src/error_handler.erl index a67b11a888..f8bc5f499c 100644 --- a/lib/kernel/src/error_handler.erl +++ b/lib/kernel/src/error_handler.erl @@ -90,7 +90,7 @@ int() -> int. crash(Fun, Args) -> crash({Fun,Args,[]}). --spec crash(atom(), atom(), arity()) -> no_return(). +-spec crash(atom(), atom(), arity() | [term()]) -> no_return(). crash(M, F, A) -> crash({M,F,A,[]}). |