diff options
| author | Hans Bolinder <[email protected]> | 2014-06-17 16:29:24 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-06-17 16:29:24 +0200 |
| commit | 9572b1c4615e9efc9a7ff53fafc9a32730ae45e4 (patch) | |
| tree | 21bf2411cacb5513dc44632cc955134ee50b192c /lib/dialyzer/test/r9c_SUITE_data/results/asn1 | |
| parent | 584fb6f256f02d48b3c0be9a9462fe7df1b1acb4 (diff) | |
| parent | 805f9c89fc01220bc1bb0f27e1b68fd4eca688ba (diff) | |
| download | otp-9572b1c4615e9efc9a7ff53fafc9a32730ae45e4.tar.gz otp-9572b1c4615e9efc9a7ff53fafc9a32730ae45e4.tar.bz2 otp-9572b1c4615e9efc9a7ff53fafc9a32730ae45e4.zip | |
Merge branch 'maint'
* maint:
[dialyzer] Correct a doc bug introduced in 0b041238
[dialyzer] Use the option 'dialyzer' to control the compiler
[dialyzer] Fix handling of literal records
Diffstat (limited to 'lib/dialyzer/test/r9c_SUITE_data/results/asn1')
| -rw-r--r-- | lib/dialyzer/test/r9c_SUITE_data/results/asn1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/r9c_SUITE_data/results/asn1 b/lib/dialyzer/test/r9c_SUITE_data/results/asn1 index c11105b76d..1cf03346ee 100644 --- a/lib/dialyzer/test/r9c_SUITE_data/results/asn1 +++ b/lib/dialyzer/test/r9c_SUITE_data/results/asn1 @@ -5,7 +5,7 @@ asn1ct.erl:1673: The pattern 'all' can never match the type 'asn1_module' | 'exc asn1ct.erl:672: The pattern <{'false', Result}, _, _> can never match the type <{'true','true'},atom() | binary() | [atom() | [any()] | char()],[any()]> asn1ct.erl:909: Guard test is_atom(Ext::[49 | 97 | 98 | 100 | 110 | 115]) can never succeed asn1ct_check.erl:1698: The pattern {'error', _} can never match the type [any()] -asn1ct_check.erl:2733: The pattern {'type', Tag, _, _, _, _} can never match the type 'ASN1_OPEN_TYPE' | {_,_} | {'fixedtypevaluefield',_,_} +asn1ct_check.erl:2733: Matching of pattern {'type', Tag, _, _, _, _} tagged with a record name violates the declared type of 'ASN1_OPEN_TYPE' | {_,_} | {'fixedtypevaluefield',_,_} asn1ct_check.erl:2738: The pattern <_S, _> can never match since previous clauses completely covered the type <#state{},#'ObjectClassFieldType'{class::#objectclass{fields::maybe_improper_list() | {_,_,_,_}},fieldname::{_,maybe_improper_list()},type::'ASN1_OPEN_TYPE' | {_,_} | {'fixedtypevaluefield',_,_}}> asn1ct_check.erl:2887: The variable Other can never match since previous clauses completely covered the type any() asn1ct_check.erl:3188: The pattern <_S, [], B> can never match the type <#state{},{'SingleValue',_},{'ValueRange',_}> |