Release merlin v4.10-414 and v4.10-500 #24310
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
[new release] merlin, merlin-lib (4.10-500)
CHANGES:
Thu Aug 24 17:17:42 CEST 2023
construct
command (construct: Do not produce redundant prefixes merlin#1618). Prefixes are still produced whenwarning 42 (disambiguated name) is active.
fixes Merlin Pipeline PPX Cache is Broken when a pipeline is only used partially merlin#1647)
short-path
from looping in some cases related to recursive typedefinitions (Upstream patch to short-path merlin#1645)
type-enclosing
on let/and operators (test: test enclosing type for let+ ... and+ ... in expression merlin#1653)merlin binary itself is interrupted, not just the parsing of the
result (Emacs: fix logging when merlin call is interrupted merlin#1626).
local values in the completion options. Alternatively, this
behavior can be enabled permanently by customizing
merlin-construct-with-local-values
(Emacs: Optionally pass -with-values to construct merlin#1644)See https://github.com/ProofGeneral/opam-switch-mode