diff options
| author | Stavros Aronis <[email protected]> | 2011-03-21 15:17:07 +0200 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2011-05-04 15:06:17 +0200 |
| commit | 5e76fd508af2799fbefe062fd8bb106ae316cf5d (patch) | |
| tree | 425f4332cef18dcada56e36aaf5e537d5a49d8c7 /lib/dialyzer/test/opaque_SUITE_data/results | |
| parent | 7a43c9fb7e2a38263132d50dfc5cd922a91f7599 (diff) | |
| download | otp-5e76fd508af2799fbefe062fd8bb106ae316cf5d.tar.gz otp-5e76fd508af2799fbefe062fd8bb106ae316cf5d.tar.bz2 otp-5e76fd508af2799fbefe062fd8bb106ae316cf5d.zip | |
Add opaque/ewgi,ewgi2
Diffstat (limited to 'lib/dialyzer/test/opaque_SUITE_data/results')
| -rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/results/ewgi | 4 |
1 files changed, 4 insertions, 0 deletions
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 |