diff options
| author | Stavros Aronis <[email protected]> | 2010-12-17 17:34:39 +0200 |
|---|---|---|
| committer | Niclas Axelsson <[email protected]> | 2010-12-20 15:04:14 +0100 |
| commit | 21768de9bb18c968e71494c07375089191087b79 (patch) | |
| tree | 85a060420d93458fb27101f32290cfb66cd20952 /prebuild.delete | |
| parent | 059606a330e8e86305699f60de144102560cb57b (diff) | |
| download | otp-21768de9bb18c968e71494c07375089191087b79.tar.gz otp-21768de9bb18c968e71494c07375089191087b79.tar.bz2 otp-21768de9bb18c968e71494c07375089191087b79.zip | |
Fix bug in the handling of 'or' by Dialyzer
Dialyzer had a minor issue when the arguments of the built-in function
'or' had the fixed value 'false'.
This testcase should return no warnings:
-module(false_false).
-export([false_or/0]).
false_or() ->
false or false.
Diffstat (limited to 'prebuild.delete')
0 files changed, 0 insertions, 0 deletions