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

Add ppx_version support to allocation functor; use in more places #6781

Merged
merged 6 commits into from
Nov 20, 2020

Conversation

nholland94
Copy link
Member

@nholland94 nholland94 commented Nov 19, 2020

Closes #6719

@nholland94 nholland94 requested a review from a team as a code owner November 19, 2020 23:05
@nholland94 nholland94 added ci-build-me Add this label to trigger a circle+buildkite build for this branch ready-to-merge-into-develop labels Nov 19, 2020
Copy link
Member

@mrmr1993 mrmr1993 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approved, but please make the bin_reader_t/bin_t changes before merging.

Comment on lines 20 to 23
(* TODO: does these last two need wrapped as well? *)
let bin_reader_t = M.bin_reader_t

let bin_t = M.bin_t
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

As mentioned on discord, we should just bundle these up as needed:

  let bin_reader_t = { read = bin_read_t; vtag_read = __bin_read_t__ }
  let bin_t = { shape = bin_shape_t; writer = bin_writer_t; reader = bin_reader_t }

The Bin_prot.Utils.Of_minimal functor should also do this for you, if you'd prefer that route.

…oned' into feature/allocation-functor-versioned
@mrmr1993 mrmr1993 merged commit 34a12e6 into develop Nov 20, 2020
@mrmr1993 mrmr1993 deleted the feature/allocation-functor-versioned branch November 20, 2020 03:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci-build-me Add this label to trigger a circle+buildkite build for this branch ready-to-merge-into-develop
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Record lifetime statistics for transactions, blocks, etc.
2 participants