Skip to content

Conversation

@ncik-roberts
Copy link
Contributor

Make more compatible with the bleeding-edge-with-extensions opam switch:

  • delete the Compression module which isn't used
  • fix a missing dependency — I'm not sure why this doesn't affect the local build

@ncik-roberts ncik-roberts requested a review from liam923 October 24, 2024 21:39
-open Merlin_analysis
-open Merlin_kernel)
(libraries
merlin_extend
Copy link
Contributor

Choose a reason for hiding this comment

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

As far as I can tell, merlin_extend isn't used in src/frontend (except transitively via merlin_kernel and merlin_analysis). I'm basing this on a grep for [Mm]erlin_extend in the directory coming up empty.

@ncik-roberts ncik-roberts merged commit 51aee26 into main Nov 8, 2024
1 of 2 checks passed
@ncik-roberts ncik-roberts deleted the make-more-compatible-with-opam branch November 8, 2024 21:12
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.

3 participants