aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/indent_SUITE_data/results/order
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2019-04-17 13:20:56 +0200
committerHans Bolinder <[email protected]>2019-05-07 08:25:03 +0200
commit77cbe3b6ced0ca42cf3ec5c8ca0333d9418a0372 (patch)
tree5e5e5f8785e10647ac62fb026134925ad64b053f /lib/dialyzer/test/indent_SUITE_data/results/order
parentb0a7495c44ebf6741714948bdf5c0cb9593ec953 (diff)
downloadotp-77cbe3b6ced0ca42cf3ec5c8ca0333d9418a0372.tar.gz
otp-77cbe3b6ced0ca42cf3ec5c8ca0333d9418a0372.tar.bz2
otp-77cbe3b6ced0ca42cf3ec5c8ca0333d9418a0372.zip
dialyzer: Add test cases with indentation
A smallish selection of already existing tests, run with the indentation option.
Diffstat (limited to 'lib/dialyzer/test/indent_SUITE_data/results/order')
-rw-r--r--lib/dialyzer/test/indent_SUITE_data/results/order23
1 files changed, 23 insertions, 0 deletions
diff --git a/lib/dialyzer/test/indent_SUITE_data/results/order b/lib/dialyzer/test/indent_SUITE_data/results/order
new file mode 100644
index 0000000000..5b0030d7b1
--- /dev/null
+++ b/lib/dialyzer/test/indent_SUITE_data/results/order
@@ -0,0 +1,23 @@
+
+order.erl:14: Guard test is_integer
+ (Int :: 'b') can never succeed
+order.erl:16: The variable _Else can never match since previous clauses completely covered the type
+ 'b'
+order.erl:21: Guard test is_integer
+ (Int :: 'b') can never succeed
+order.erl:23: The variable _Else can never match since previous clauses completely covered the type
+ 'b'
+order.erl:30: The variable _Else can never match since previous clauses completely covered the type
+ 'b' | 1
+order.erl:36: The variable Atom can never match since previous clauses completely covered the type
+ 1
+order.erl:37: The variable _Else can never match since previous clauses completely covered the type
+ 1
+order.erl:42: Guard test is_integer
+ (Int :: 'b') can never succeed
+order.erl:44: The variable _Else can never match since previous clauses completely covered the type
+ 'b'
+order.erl:7: Guard test is_integer
+ (Int :: 'b') can never succeed
+order.erl:9: The variable _Else can never match since previous clauses completely covered the type
+ 'b'