Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

HiPE: Optimise receives matching unique references #1632

Merged
merged 1 commit into from
Nov 20, 2017

Conversation

margnus1
Copy link
Contributor

With the simplification to this optimisation in BEAM by #1626, it is now almost trivial to implement in HiPE.

@fenollp
Copy link
Contributor

fenollp commented Nov 16, 2017

ssl_connection.erl:2009: Matching of pattern {'server_ecdhe_psk_params', _, {'server_ecdh_params', ECCurve, _}} tagged with a record name violates the declared type of #server_srp_params{srp_n::binary(),srp_g::binary(),srp_s::binary(),srp_b::binary()}

I really wish Dialyzer would pretty print records with the shell's rr/rp... Any objections @kostis ?

@bjorng
Copy link
Contributor

bjorng commented Nov 16, 2017

This PR did not cause the dialyzer failure. The failure is caused by a previous merge from maint to master.

@sverker sverker self-assigned this Nov 16, 2017
@sverker sverker added fix team:VM Assigned to OTP team VM testing currently being tested, tag is used by OTP internal CI labels Nov 16, 2017
@kostis
Copy link
Contributor

kostis commented Nov 17, 2017

I am not sure whether off-topic comments/wishes in pull requests are a good idea, but since this one apparently contains some, here are some more:

  1. I think that merges should not happen without first checking that all tests pass.

  2. It's high time that all Erlang/OTP members learn to first create pull requests rather than pushing directly to 'maint' / 'master'. (Yes, it takes some more time, but it's a good thing to do.)

These are my wishes.

As to the suggestion/wish by @fenollp, if I understand the dialyzer error message right, note that it is as it should be. It says that the code is trying to match with a tuple, which is tagged by a record tag, but it does not contain as many fields as the record is expected to have. Also, note that (in the same dialyzer message) dialyzer is using #record notation in its printout. In any case, as @bjorng pointed out, the warning here is created by the repo being in an inconsistent state, so it's perhaps not worth discussing it more.

@mikpe
Copy link
Contributor

mikpe commented Nov 18, 2017

LGTM

@sverker sverker merged commit 9556949 into erlang:master Nov 20, 2017
@margnus1 margnus1 deleted the hipe-receive-opt branch November 20, 2017 14:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
fix team:VM Assigned to OTP team VM testing currently being tested, tag is used by OTP internal CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants