From 3092fc21c57a34a7ee5e2699ba39bb37edd8c4d8 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Thu, 20 Aug 2015 15:52:33 +0200 Subject: dialyzer: Fix erlang:abs/1 Fix the range type of erlang:abs/1. --- lib/dialyzer/test/small_SUITE_data/results/abs | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 lib/dialyzer/test/small_SUITE_data/results/abs (limited to 'lib/dialyzer/test/small_SUITE_data/results/abs') diff --git a/lib/dialyzer/test/small_SUITE_data/results/abs b/lib/dialyzer/test/small_SUITE_data/results/abs new file mode 100644 index 0000000000..f229a6d036 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/results/abs @@ -0,0 +1,9 @@ + +abs.erl:12: Function i1/0 has no local return +abs.erl:16: The pattern 'true' can never match the type 'false' +abs.erl:23: Function i2/0 has no local return +abs.erl:27: The pattern 'true' can never match the type 'false' +abs.erl:34: Function i3/0 has no local return +abs.erl:37: The pattern 'true' can never match the type 'false' +abs.erl:45: Function i4/0 has no local return +abs.erl:49: The pattern 'true' can never match the type 'false' -- cgit v1.2.3