From 5e76fd508af2799fbefe062fd8bb106ae316cf5d Mon Sep 17 00:00:00 2001 From: Stavros Aronis Date: Mon, 21 Mar 2011 15:17:07 +0200 Subject: Add opaque/ewgi,ewgi2 --- lib/dialyzer/test/opaque_SUITE_data/results/ewgi | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 lib/dialyzer/test/opaque_SUITE_data/results/ewgi (limited to 'lib/dialyzer/test/opaque_SUITE_data/results') diff --git a/lib/dialyzer/test/opaque_SUITE_data/results/ewgi b/lib/dialyzer/test/opaque_SUITE_data/results/ewgi new file mode 100644 index 0000000000..3c8cfb59f8 --- /dev/null +++ b/lib/dialyzer/test/opaque_SUITE_data/results/ewgi @@ -0,0 +1,4 @@ + +ewgi_api.erl:55: The call gb_trees:to_list({non_neg_integer(),'nil' | {_,_,_,_}}) does not have an opaque term of type gb_tree() as 1st argument +ewgi_testapp.erl:35: The call ewgi_testapp:htmlise_data("request_data",{non_neg_integer(),'nil' | {_,_,_,_}}) will never return since it differs in the 2nd argument from the success typing arguments: ([95 | 97 | 100 | 101 | 104 | 112 | 113 | 114 | 115 | 116 | 117,...],[{_,_}]) +ewgi_testapp.erl:43: The call gb_trees:to_list(T::{non_neg_integer(),'nil' | {_,_,_,_}}) does not have an opaque term of type gb_tree() as 1st argument -- cgit v1.2.3