Skip to content

Conversation

@pull
Copy link

@pull pull bot commented Oct 8, 2025

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

Keno and others added 3 commits October 8, 2025 11:38
#59766)

Currently this is an ErrorException in the runtime/interpreter, but a
TypeError in codegen. This is not permitted - which error is thrown is
semantically observable and codegen is not permitted to change it.
Worse, inference is also inconsistent about whether this is TypeError or
ErrorException, so this could actually lead to type confusion and
crashes. Fix all that by having the runtime also emit a TypeError here.
However, in order to not lose the binding name in the error message,
adjust the TypeError context field to permit a binding.
…59773)

Handle a failed allocation in `jl_image_unpack_zstd` better:
- On Windows, if `GetLargePageMinimum()` reports that large pages are
unsupported, don't try to allocate with `MEM_LARGE_PAGES`.
- If they are supported but the large page allocation fails, try again
without the option.
- On all platforms, provide a better error message when the allocation
fails.

Ported from #59340.
Added Julia wrappers for three libgit2 functions:

- `GitDiff(::AbstractString)`: Parse diffs from unified diff format
buffers
- `apply_to_tree(repo, preimage, diff, options)`: Apply a diff to a
tree, returning a GitIndex with the result
- `write_tree_to!(repo, idx)`: Write an index as a tree to a repository

Made GitDiff and GitDiffStats repository-independent since they can be
created from buffers and all operations work purely on object pointers.
Added ApplyOptions struct for apply configuration and tests for all new
functionality.

Written by Claude

Co-authored-by: Keno Fischer <[email protected]>
@pull pull bot locked and limited conversation to collaborators Oct 8, 2025
@pull pull bot added the ⤵️ pull label Oct 8, 2025
@pull pull bot merged commit 755bf41 into MLH-Fellowship:master Oct 8, 2025
4 of 5 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants