Searched refs:mk_conj_constraint_list (Results 1 – 7 of 7) sorted by relevance
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/src/ |
| H A D | dialyzer_typesig.erl | 704 Conj1 = mk_conj_constraint_list([ArgBodyCs,
713 Conj2 = mk_conj_constraint_list([OldCs, Disj]),
721 mk_conj_constraint_list([ArgBodyCs,
726 mk_conj_constraint_list([HandlerCs,
733 {mk_conj_constraint_list([ArgBodyCs,
739 {mk_conj_constraint_list([HandlerCs,
748 Conj = mk_conj_constraint_list([OldCs, NewCs]),
2860 mk_conj_constraint_list(Cs).
3104 true -> [mk_conj_constraint_list(List1)];
3138 [mk_conj_constraint_list([mk_conj_constraint_list(Prefix), L]) || L <- List].
[all …]
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/src/ |
| H A D | dialyzer_typesig.erl | 725 Conj1 = mk_conj_constraint_list([ArgBodyCs,
734 Conj2 = mk_conj_constraint_list([OldCs, Disj]),
742 mk_conj_constraint_list([ArgBodyCs,
747 mk_conj_constraint_list([HandlerCs,
754 {mk_conj_constraint_list([ArgBodyCs,
760 {mk_conj_constraint_list([HandlerCs,
769 Conj = mk_conj_constraint_list([OldCs, NewCs]),
2863 mk_conj_constraint_list(Cs).
3107 true -> [mk_conj_constraint_list(List1)];
3141 [mk_conj_constraint_list([mk_conj_constraint_list(Prefix), L]) || L <- List].
[all …]
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/src/ |
| H A D | dialyzer_typesig.erl | 725 Conj1 = mk_conj_constraint_list([ArgBodyCs,
734 Conj2 = mk_conj_constraint_list([OldCs, Disj]),
742 mk_conj_constraint_list([ArgBodyCs,
747 mk_conj_constraint_list([HandlerCs,
754 {mk_conj_constraint_list([ArgBodyCs,
760 {mk_conj_constraint_list([HandlerCs,
769 Conj = mk_conj_constraint_list([OldCs, NewCs]),
2863 mk_conj_constraint_list(Cs).
3107 true -> [mk_conj_constraint_list(List1)];
3141 [mk_conj_constraint_list([mk_conj_constraint_list(Prefix), L]) || L <- List].
[all …]
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/src/ |
| H A D | dialyzer_typesig.erl | 725 Conj1 = mk_conj_constraint_list([ArgBodyCs,
734 Conj2 = mk_conj_constraint_list([OldCs, Disj]),
742 mk_conj_constraint_list([ArgBodyCs,
747 mk_conj_constraint_list([HandlerCs,
754 {mk_conj_constraint_list([ArgBodyCs,
760 {mk_conj_constraint_list([HandlerCs,
769 Conj = mk_conj_constraint_list([OldCs, NewCs]),
2863 mk_conj_constraint_list(Cs).
3107 true -> [mk_conj_constraint_list(List1)];
3141 [mk_conj_constraint_list([mk_conj_constraint_list(Prefix), L]) || L <- List].
[all …]
|
| /dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/src/ |
| H A D | dialyzer_typesig.erl | 725 Conj1 = mk_conj_constraint_list([ArgBodyCs,
734 Conj2 = mk_conj_constraint_list([OldCs, Disj]),
742 mk_conj_constraint_list([ArgBodyCs,
747 mk_conj_constraint_list([HandlerCs,
754 {mk_conj_constraint_list([ArgBodyCs,
760 {mk_conj_constraint_list([HandlerCs,
769 Conj = mk_conj_constraint_list([OldCs, NewCs]),
2863 mk_conj_constraint_list(Cs).
3107 true -> [mk_conj_constraint_list(List1)];
3141 [mk_conj_constraint_list([mk_conj_constraint_list(Prefix), L]) || L <- List].
[all …]
|
| /dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/src/ |
| H A D | dialyzer_typesig.erl | 725 Conj1 = mk_conj_constraint_list([ArgBodyCs,
734 Conj2 = mk_conj_constraint_list([OldCs, Disj]),
742 mk_conj_constraint_list([ArgBodyCs,
747 mk_conj_constraint_list([HandlerCs,
754 {mk_conj_constraint_list([ArgBodyCs,
760 {mk_conj_constraint_list([HandlerCs,
769 Conj = mk_conj_constraint_list([OldCs, NewCs]),
2863 mk_conj_constraint_list(Cs).
3107 true -> [mk_conj_constraint_list(List1)];
3141 [mk_conj_constraint_list([mk_conj_constraint_list(Prefix), L]) || L <- List].
[all …]
|
| /dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/src/ |
| H A D | dialyzer_typesig.erl | 704 Conj1 = mk_conj_constraint_list([ArgBodyCs,
713 Conj2 = mk_conj_constraint_list([OldCs, Disj]),
721 mk_conj_constraint_list([ArgBodyCs,
726 mk_conj_constraint_list([HandlerCs,
733 {mk_conj_constraint_list([ArgBodyCs,
739 {mk_conj_constraint_list([HandlerCs,
748 Conj = mk_conj_constraint_list([OldCs, NewCs]),
2860 mk_conj_constraint_list(Cs).
3104 true -> [mk_conj_constraint_list(List1)];
3138 [mk_conj_constraint_list([mk_conj_constraint_list(Prefix), L]) || L <- List].
[all …]
|