diff options
| author | Hans Bolinder <[email protected]> | 2016-09-01 08:28:16 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-09-01 08:28:16 +0200 |
| commit | 5fb3092abd47779a6e5847a6c193ab103fe5bb06 (patch) | |
| tree | dba65c84352391b8fdb5e529018146fd6948d95e /lib/hipe | |
| parent | 155932b26c4b65412a4ef3a28922f0e8d276b919 (diff) | |
| parent | b593a4f25ee3c89b34152d96119bab981f102de6 (diff) | |
| download | otp-5fb3092abd47779a6e5847a6c193ab103fe5bb06.tar.gz otp-5fb3092abd47779a6e5847a6c193ab103fe5bb06.tar.bz2 otp-5fb3092abd47779a6e5847a6c193ab103fe5bb06.zip | |
Merge branch 'hasse/dialyzer/fix_forms_to_type/OTP-13682' into maint
* hasse/dialyzer/fix_forms_to_type/OTP-13682:
dialyzer: Increase time limit of suites
dialyzer: Remove a check that always fails
dialyzer: Optimize an opaque type case
Diffstat (limited to 'lib/hipe')
| -rw-r--r-- | lib/hipe/cerl/erl_types.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/hipe/cerl/erl_types.erl b/lib/hipe/cerl/erl_types.erl index 243bb6e25d..c9dd1051f3 100644 --- a/lib/hipe/cerl/erl_types.erl +++ b/lib/hipe/cerl/erl_types.erl @@ -4749,7 +4749,7 @@ type_from_form1(Name, Args, ArgsLen, R, TypeName, TypeNames, S, D, L, C) -> {Rep, L2, C2} = recur_limit(Fun, D, L1, TypeName, TypeNames), Rep1 = choose_opaque_type(Rep, Type), Rep2 = case cannot_have_opaque(Rep1, TypeName, TypeNames) of - true -> Rep1; + true -> Rep; false -> ArgTypes2 = subst_all_vars_to_any_list(ArgTypes), t_opaque(Module, Name, ArgTypes2, Rep1) @@ -4821,7 +4821,7 @@ remote_from_form1(RemMod, Name, Args, ArgsLen, RemDict, RemType, TypeNames, NewRep1 = choose_opaque_type(NewRep, Type), NewRep2 = case cannot_have_opaque(NewRep1, RemType, TypeNames) of - true -> NewRep1; + true -> NewRep; false -> ArgTypes2 = subst_all_vars_to_any_list(ArgTypes), t_opaque(Mod, Name, ArgTypes2, NewRep1) |