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

Fix to pass with both old and new Kcas #704

Merged
merged 1 commit into from
Feb 26, 2024

Conversation

polytypic
Copy link
Contributor

@polytypic polytypic commented Feb 25, 2024

The Loc.t type has changed in Kcas, which makes a MDX block fail with upcoming Kcas. This changes the block such that it will pass with both old and future Kcas.

The `Loc.t` type has changed, which makes a MDX block fail.  This changes the
block such that it will pass with both old and new Kcas.
Copy link
Collaborator

@talex5 talex5 left a comment

Choose a reason for hiding this comment

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

Thanks!

@talex5 talex5 merged commit ef415fb into main Feb 26, 2024
8 checks passed
@talex5 talex5 deleted the fix-to-pass-with-old-and-new-kcas branch February 26, 2024 17:04
talex5 added a commit to talex5/opam-repository that referenced this pull request Mar 10, 2024
CHANGES:

New features:

- Add `Eio_unix.Cap` module to enable Capsicum mode (@talex5 ocaml-multicore/eio#697, reviewed by @SGrondin).

- eio_linux: expose more functions in the `Low_level` module (@talex5 ocaml-multicore/eio#705, reviewed by @SGrondin).
  Add all the functions used by other parts of eio_linux (`openat`, `mkdir`, `read_link`, `unlink`, `rename` and `pipe`).
  Tidied the API up a bit too:
  - `mkdir_beneath` is now just `mkdir`.
  - `statx_confined` is now just `statx`.
  - `open_dir` is gone; the single user now calls `openat` directly.

Documentation:

- Add README documentation for `Eio.Executor_pool` (@SGrondin @talex5 ocaml-multicore/eio#707, reviewed by @Sudha247).

- eio_linux: remove logging (@talex5 ocaml-multicore/eio#708, requested by @clecat).
  There were only two remaining uses of Logs, neither of which has proved useful.

Build:

- Add upper-bound on MDX (@talex5 ocaml-multicore/eio#706).
  The new version attempts to execute included blocks.

- Fix tests to pass with both old and new Kcas (@polytypic ocaml-multicore/eio#704).

- Make posix `open_beneath` test idempotent (@SGrondin ocaml-multicore/eio#703).

- Executor_pool: mention requested weight in error message (@talex5 ocaml-multicore/eio#702, reported by @yawaramin).
talex5 added a commit to talex5/opam-repository that referenced this pull request Mar 10, 2024
CHANGES:

New features:

- Add `Eio_unix.Cap` module to enable Capsicum mode (@talex5 ocaml-multicore/eio#697, reviewed by @SGrondin).

- eio_linux: expose more functions in the `Low_level` module (@talex5 ocaml-multicore/eio#705, reviewed by @SGrondin).
  Add all the functions used by other parts of eio_linux (`openat`, `mkdir`, `read_link`, `unlink`, `rename` and `pipe`).
  Tidied the API up a bit too:
  - `mkdir_beneath` is now just `mkdir`.
  - `statx_confined` is now just `statx`.
  - `open_dir` is gone; the single user now calls `openat` directly.

Documentation:

- Add README documentation for `Eio.Executor_pool` (@SGrondin @talex5 ocaml-multicore/eio#707, reviewed by @Sudha247).

- eio_linux: remove logging (@talex5 ocaml-multicore/eio#708, requested by @clecat).
  There were only two remaining uses of Logs, neither of which has proved useful.

Build:

- Add upper-bound on MDX (@talex5 ocaml-multicore/eio#706).
  The new version attempts to execute included blocks.

- Fix tests to pass with both old and new Kcas (@polytypic ocaml-multicore/eio#704).

- Make posix `open_beneath` test idempotent (@SGrondin ocaml-multicore/eio#703).

- Executor_pool: mention requested weight in error message (@talex5 ocaml-multicore/eio#702, reported by @yawaramin).
talex5 added a commit to talex5/opam-repository that referenced this pull request Mar 10, 2024
CHANGES:

New features:

- Add `Eio_unix.Cap` module to enable Capsicum mode (@talex5 ocaml-multicore/eio#697, reviewed by @SGrondin).

- eio_linux: expose more functions in the `Low_level` module (@talex5 ocaml-multicore/eio#705, reviewed by @SGrondin).
  Add all the functions used by other parts of eio_linux (`openat`, `mkdir`, `read_link`, `unlink`, `rename` and `pipe`).
  Tidied the API up a bit too:
  - `mkdir_beneath` is now just `mkdir`.
  - `statx_confined` is now just `statx`.
  - `open_dir` is gone; the single user now calls `openat` directly.

Documentation:

- Add README documentation for `Eio.Executor_pool` (@SGrondin @talex5 ocaml-multicore/eio#707, reviewed by @Sudha247).

- eio_linux: remove logging (@talex5 ocaml-multicore/eio#708, requested by @clecat).
  There were only two remaining uses of Logs, neither of which has proved useful.

Build:

- Add upper-bound on MDX (@talex5 ocaml-multicore/eio#706).
  The new version attempts to execute included blocks.

- Fix tests to pass with both old and new Kcas (@polytypic ocaml-multicore/eio#704).

- Make posix `open_beneath` test idempotent (@SGrondin ocaml-multicore/eio#703).

- Executor_pool: mention requested weight in error message (@talex5 ocaml-multicore/eio#702, reported by @yawaramin).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants