-
Notifications
You must be signed in to change notification settings - Fork 548
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
Changes for OCaml 4.11.2 #8898
Changes for OCaml 4.11.2 #8898
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Reviewed all non-ml files and they look solid
@@ -165,10 +165,6 @@ let%test_unit "checkpoint read" = | |||
~expect:cp_sorted cp_alist ; | |||
close db ; | |||
close cp ; | |||
let%bind () = File_system.remove_dir db_dir in |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Do we need to remove these calls as part of this upgrade?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'd removed them because we get: pthread lock: Invalid argument
.
I'll see if I can work around that.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
After removing these calls, and running the unit test, the temp directories no longer exist in /tmp
. Could it be the unit test framework knows to do this?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Changes address my concerns. Looks good, great job!
src/lib/network_pool/snark_pool.ml
Outdated
assert false | ||
in | ||
[%test_eq: Mock_snark_pool.Resource_pool.Diff.t list] | ||
(List.sort ~compare rebroadcastable3) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Didn't you add these to make the unit test pass?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I added the sorting, yes. The equality tests were deleted in compatible
, for whatever reason.
Allow source code to be compiled with OCaml 4.11.2.
A couple of earlier PRs made some of the needed changes:
ignore
argumentsOther boilerplate changes:
[@sexp.opaque]
annotations on types instead of thesexp_opaque
type constructor (this one breaks the versioned-type-change linter test in CI; that's a spurious failure)let%bind
andlet%map
with specified modules no longer mentionLet_syntax
; instead ofAsync.Deferred
, use justAsync
The
opam.export
file has been updated to use Jane St packages compatible with 4.11.2. Other packages have been updated as well. There are a few changes related to changes in the Jane St library structure (Heap
becomesPaired_heap
, for example).The Docker Rosetta and toolchain files have been updated.
Warning 67, "unused functor parameter", is disabled for some signatures, which wasn't being reported in 4.07.1.
The submodules for forked libraries
async_kernel
,graphql_ppx
,ppx_optcomp
, andrpc_parallel
have been updated, andREADME
s added to them to describe the forks.ppx_version
, not a fork, is updated.A fork of
ppx_deriving_yojson
was created, and added as a submodule, because the latest version compatible with other libraries generates polymorphic equality checks. That's a temporary situation, more recent versions of the library should work when OCaml and Jane St libraries are updated again.Updated the submodule references to
MinaProtocol
fromCodaProtocol
where applicable.