diff options
author | Stavros Aronis <[email protected]> | 2011-02-18 20:03:34 +0200 |
---|---|---|
committer | Stavros Aronis <[email protected]> | 2011-02-28 17:14:04 +0200 |
commit | c7a637f08ce52c0713e03f9a5d051edd8b4f934f (patch) | |
tree | 23fa4c518a92f4e55205d1d840913a537739de97 /lib/dialyzer/test/opaque_tests_SUITE_data/results/inf_loop1 | |
parent | 059ca05caa95d91411c071c8542cef400a066e17 (diff) | |
download | otp-c7a637f08ce52c0713e03f9a5d051edd8b4f934f.tar.gz otp-c7a637f08ce52c0713e03f9a5d051edd8b4f934f.tar.bz2 otp-c7a637f08ce52c0713e03f9a5d051edd8b4f934f.zip |
Update test results as they currently appear in dev
Diffstat (limited to 'lib/dialyzer/test/opaque_tests_SUITE_data/results/inf_loop1')
-rw-r--r-- | lib/dialyzer/test/opaque_tests_SUITE_data/results/inf_loop1 | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/dialyzer/test/opaque_tests_SUITE_data/results/inf_loop1 b/lib/dialyzer/test/opaque_tests_SUITE_data/results/inf_loop1 new file mode 100644 index 0000000000..eb8f304905 --- /dev/null +++ b/lib/dialyzer/test/opaque_tests_SUITE_data/results/inf_loop1 @@ -0,0 +1,5 @@ + +inf_loop1.erl:119: The pattern [{_, LNorms}] can never match the type [] +inf_loop1.erl:121: The pattern [{LinksA, LNormA}, {LinksB, LNormB}] can never match the type [] +inf_loop1.erl:129: The pattern [{_, Norm} | _] can never match the type [] +inf_loop1.erl:71: The call gb_trees:get(Edge::any(),Etab::array()) contains an opaque term as 2nd argument when terms of different types are expected in these positions |